Login / Signup

HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata.

Nima RoohiPavithra PrabhakarMahesh Viswanathan
Published in: TACAS (1) (2017)
Keyphrases
  • hybrid automata
  • finite state automata
  • high level
  • hidden markov models
  • object oriented
  • model checking
  • data abstraction