Login / Signup
Approximated Reachability on Hybrid Automata: Falsification meets Certification.
Kerstin Bauer
Raffaella Gentilini
Klaus 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