Sign in
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers.
Radoslav Ivanov
James Weimer
Oleg Sokolsky
Insup Lee
Published in:
DESTION@CPSIoTWeek (2019)
Keyphrases
</>
hybrid systems
neural network
neural networks and genetic algorithms
intelligent systems
black box
soft computing
artificial intelligence
computational intelligence
meta learning
pattern recognition
artificial neural networks
fuzzy logic
reinforcement learning
search space