Login / Signup
SpaceEx: Scalable Verification of Hybrid Systems.
Goran Frehse
Colas Le Guernic
Alexandre Donzé
Scott Cotton
Rajarshi Ray
Olivier Lebeltel
Rodolfo Ripado
Antoine Girard
Thao Dang
Oded Maler
Published in:
CAV (2011)
Keyphrases
</>
hybrid systems
black box
intelligent systems
soft computing
computational intelligence
meta learning
neural network
discrete event
artificial intelligence
model selection
software engineering
evolutionary computation