Login / Signup

Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics.

Viktorio S. el HakimMarco Jan Gerrit Bekooij
Published in: SCOPES (2019)
Keyphrases
  • reachability analysis
  • hybrid automata
  • model checking
  • markov decision processes
  • finite state automata
  • dynamical systems
  • low power
  • timed automata
  • real time
  • state space