Login / Signup

Timed and Hybrid Automata in SAL.

P. Vijay SumanParitosh K. Pandya
Published in: SYNASC (2008)
Keyphrases
  • hybrid automata
  • petri net
  • finite state automata
  • finite state machines
  • timed automata
  • reinforcement learning
  • hidden markov models
  • markov chain
  • discrete event