Symbolic Optimal Reachability in Weighted Timed Automata.

Patricia Bouyer Maximilien Colange Nicolas Markey

Published in: CoRR (2016)

Keyphrases

timed automata
model checking
real time
worst case
reachability analysis
case study
dynamic programming
closed form
finding optimal
database
information systems
bayesian networks
optimal solution
expert systems
theorem prover