КФУ. Карточка публикации. Marimba: A Tool for Verifying Properties of Hidden Markov Models

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

MARIMBA: A TOOL FOR VERIFYING PROPERTIES OF HIDDEN MARKOV MODELS

Форма представления

Статьи в зарубежных журналах и сборниках

Год публикации

2015

Язык

английский

Авторы, сотрудники КФУ

Магид Евгений Аркадьевич, автор

Библиографическое описание на языке оригинала

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.

Аннотация

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

Ключевые слова

Verifying Properties, Hidden Markov Models

Название журнала

Lecture Notes in Computer Science

URL

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

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=149750

Файлы ресурса

Название файла	Размер (Мб)	Формат
F_2015_Marimba_A_Tool_for_Verifying_Properties_of__idden_Markov_Models.pdf	0,68	pdf	посмотреть / скачать

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Магид Евгений Аркадьевич	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/?p_id=149750	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	Статьи в зарубежных журналах и сборниках	ru_RU