Evaluating probabilistic model checking tools for verification of robot control policies

Document

Metadata

Author(s)

Pathak, S. | Pulina, L. | Tacchella, A.

DOI

10.3233/AIC-150689

Title

Evaluating probabilistic model checking tools for verification of robot control policies

Item Type

journalArticle

"Key

2EB2AY3M

Publication Year

2016

Publication Title

AI Communications

ISSN

09217126 (ISSN)

Url

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84960360858&doi=10.3233%2fAIC-150689&partnerID=40&md5=511d5032ad0dee08de2756788248ea1e

Date

2016

Pages

287-299

Issue

2

Volume

29

Language

English

Attachments