134 search results - page 5 / 27 » Model-Checking for Weighted Timed Automata |
QEST
2010
IEEE
13 years 4 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
ACSD
2007
IEEE
13 years 8 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
FOSSACS
2007
Springer
14 years 26 days ago
2007
Springer
WIA
2007
Springer
14 years 24 days ago
2007
Springer
CAV
2003
Springer
13 years 12 months ago
2003
Springer
