Login / Signup
Verisig: verifying safety properties of hybrid systems with neural network controllers.
Radoslav Ivanov
James Weimer
Rajeev Alur
George J. Pappas
Insup Lee
Published in:
HSCC (2019)
Keyphrases
</>
hybrid systems
neural network
neural networks and genetic algorithms
soft computing
black box
meta learning
discrete event
intelligent systems
pattern recognition
fuzzy logic
computational intelligence
artificial intelligence
artificial neural networks
data model