Login / Signup

Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata.

Parosh Aziz AbdullaMohamed Faouzi AtigJari 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