Login / Signup

BACH : Bounded ReAchability CHecker for Linear Hybrid Automata.

Lei BuYou LiLinzhang WangXuandong Li
Published in: FMCAD (2008)
Keyphrases
  • hybrid automata
  • finite state automata
  • data sets
  • neural network
  • query evaluation