Login / Signup

Reachability Analysis Of Linear Hybrid Automata By Using Counterexample Fragment Based Abstraction Refinement.

Shengbing Jiang
Published in: ACC (2007)
Keyphrases
  • reachability analysis
  • model checking
  • hybrid automata
  • temporal logic
  • timed automata
  • markov decision processes
  • formal verification
  • finite state automata
  • finite state machines
  • artificial intelligence
  • finite state