Symbolic Optimal Reachability in Weighted Timed Automata.

Patricia Bouyer Maximilien Colange Nicolas Markey

Published in: CAV (1) (2016)

Keyphrases

timed automata
dynamic programming
state space
model checking
minimum error
optimal solution
optimal strategy
reachability analysis
database
artificial intelligence
evolutionary algorithm
worst case
source code
optimal control
theorem proving