Optimal reachability for multi-priced timed automata.

Kim Guldstrand Larsen Jacob Illum Rasmussen

Published in: Theor. Comput. Sci. (2008)

Keyphrases

timed automata
dynamic programming
model checking
reachability analysis
real world
theorem prover
real time systems
real time
databases
decision making
website
worst case
software development
temporal logic
globally optimal