Sign in

Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis.

Luca BenvenutiDavide BresolinPieter CollinsAlberto FerrariLuca GerettiTiziano Villa
Published in: RP (2012)
Keyphrases
  • reachability analysis
  • hybrid automata
  • markov decision processes
  • model checking
  • finite state automata
  • timed automata
  • incremental algorithms
  • state space
  • finite state
  • temporal information
  • temporal logic