Login / Signup

Approximated Reachability on Hybrid Automata: Falsification meets Certification.

Kerstin BauerRaffaella GentiliniKlaus Schneider
Published in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
  • database design
  • hybrid automata
  • finite state automata
  • third party
  • transitive closure
  • linear combination
  • state space
  • online learning
  • database
  • pattern matching