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:
CoRR (2018)
Keyphrases
</>
hybrid systems
neural network
neural networks and genetic algorithms
soft computing
meta learning
black box
intelligent systems
computational intelligence
fuzzy logic
discrete event
artificial intelligence
control system
genetic algorithm
artificial neural networks
data mining
pattern recognition
machine learning