Optimal Conditional Reachability for Multi-priced Timed Automata.

Kim Guldstrand Larsen Jacob Illum Rasmussen

Published in: FoSSaCS (2005)

Keyphrases

timed automata
reachability analysis
closed form
model checking
dynamic programming
state space
exhaustive search
theorem prover
worst case
machine learning
search algorithm
real time
optimal solution
case study
artificial intelligence
optimal control
data mining
random field model
real world
data sets