164 search results - page 16 / 33 » Model Checking Hierarchical Probabilistic Systems |
SIGDIAL
2010
14 years 9 months ago
2010
We introduce a novel approach for robust belief tracking of user intention within a spoken dialog system. The space of user intentions is modeled by a probabilistic extension of t...
113
click to vote
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
CDC
2009
IEEE
14 years 9 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
IVA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Basic communication and coordination mechanisms of human social interaction are assumed to be mediated by perception-action links. These links ground the observation and ...
HVC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...