Login / Signup
Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Jari Stenman
Published in:
LATA (2014)
Keyphrases
</>
expected cost
timed automata
model checking
petri net
finite state
learning algorithm
optimal control
finite state machines
optimal strategy
optimal design
finite automata