134 search results - page 5 / 27 » Model-Checking for Weighted Timed Automata |
174
Voted
QEST
2010
IEEE
15 years 3 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...
164
click to vote
ACSD
2007
IEEE
15 years 7 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 ...
138
Voted
WIA
2007
Springer
15 years 12 months ago
2007
Springer
168
Voted
CAV
2003
Springer
15 years 11 months ago
2003
Springer
