34 search results - page 5 / 7 » Counterexamples for Timed Probabilistic Reachability |
121
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
159
click to vote
VMCAI
2010
Springer
16 years 20 days ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
207
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
154
click to vote
JIRS
2008
15 years 3 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
162
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
:This paper presents a trajectory planning algorithm for mobile robots which may be subject to kinodynamic constraints. Using computational methods from noncommutative harmonic ana...