Login / Signup
Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants.
Andrew Sogokon
Paul B. Jackson
Taylor T. Johnson
Published in:
J. Autom. Reason. (2019)
Keyphrases
</>
hybrid systems
meta learning
intelligent systems
soft computing
black box
neural network
discrete event
computational intelligence
artificial intelligence
benchmark datasets
inductive learning
decision trees
pattern recognition
search problems