134 search results - page 5 / 27 » Model-Checking for Weighted Timed Automata |
179
Voted
QEST
2010
IEEE
15 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...
177
Voted
ACSD
2007
IEEE
15 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 ...
151
Voted
FOSSACS
2007
Springer
16 years 16 days ago
2007
Springer
151
Voted
WIA
2007
Springer
16 years 14 days ago
2007
Springer
175
Voted
CAV
2003
Springer
15 years 11 months ago
2003
Springer
