Login / Signup

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.

Susmit JhaBryan A. BradySanjit A. Seshia
Published in: FORMATS (2007)
Keyphrases
  • reachability analysis
  • hybrid automata
  • model checking
  • markov decision processes
  • timed automata
  • incremental algorithms
  • finite state automata
  • expert systems
  • state space
  • markov chain
  • inference rules