KFU. Card publication. Marimba: A Tool for Verifying Properties of Hidden Markov Models

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

MARIMBA: A TOOL FOR VERIFYING PROPERTIES OF HIDDEN MARKOV MODELS

Form of presentation

Articles in international journals and collections

Year of publication

2015

Язык

английский

Authors, employees of KFU

Magid Evgeniy Arkadevich, author

Bibliographic description in the original language

Hernandez N. Marimba: A Tool for Verifying Properties of Hidden Markov Models / Eder K., Magid E., Savage J., Rosenblueth D. // Lecture Notes in Computer Science. - 2015. - Vol. 9364. - p. 201-206.

Annotation

The formal verification of properties of Hidden Markov Models (HMMs) is highly desirable for gaining confidence in the correctness of the model and the corresponding system. A significant step towards HMM verification was the development by Zhang et al. of a family of logics for verifying HMMs, called POCTL*, and its model checking algorithm. As far as we know, the verification tool we present here is the first one based on Zhang et al.'s approach. As an example of its effective application, we verify properties of a handover task in the context of human-robot interaction. Our tool was implemented in Haskell, and the experimental evaluation was performed using the humanoid robot Bert2

Keywords

Verifying Properties, Hidden Markov Models

The name of the journal

Lecture Notes in Computer Science

URL

https://www.springerprofessional.de/en/marimba-a-tool-for-verifying-properties-of-hidden-markov-models/2547896

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=149750&p_lang=2

Resource files

File name	Size (MB)	Format
F_2015_Marimba_A_Tool_for_Verifying_Properties_of__idden_Markov_Models.pdf	0,68	pdf	show / download

Full metadata record

Field DC	Value	Language
dc.contributor.author	Magid Evgeniy Arkadevich	ru_RU
dc.date.accessioned	2015-01-01T00:00:00Z	ru_RU
dc.date.available	2015-01-01T00:00:00Z	ru_RU
dc.date.issued	2015	ru_RU
dc.identifier.citation	Hernandez N. Marimba: A Tool for Verifying Properties of Hidden Markov Models / Eder K., Magid E., Savage J., Rosenblueth D. // Lecture Notes in Computer Science. - 2015. - Vol. 9364. - p. 201-206.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=149750&p_lang=2	ru_RU
dc.description.abstract	Lecture Notes in Computer Science	ru_RU
dc.description.abstract	The formal verification of properties of Hidden Markov Models (HMMs) is highly desirable for gaining confidence in the correctness of the model and the corresponding system. A significant step towards HMM verification was the development by Zhang et al. of a family of logics for verifying HMMs, called POCTL*, and its model checking algorithm. As far as we know, the verification tool we present here is the first one based on Zhang et al.'s approach. As an example of its effective application, we verify properties of a handover task in the context of human-robot interaction. Our tool was implemented in Haskell, and the experimental evaluation was performed using the humanoid robot Bert2	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Verifying Properties	ru_RU
dc.subject	Hidden Markov Models	ru_RU
dc.title	Marimba: A Tool for Verifying Properties of Hidden Markov Models	ru_RU
dc.type	Articles in international journals and collections	ru_RU