Login / Signup
Falsification of hybrid systems using symbolic reachability and trajectory splicing.
Sergiy Bogomolov
Goran Frehse
Amit Gurung
Dongxu Li
Georg Martius
Rajarshi Ray
Published in:
HSCC (2019)
Keyphrases
</>
hybrid systems
black box
intelligent systems
soft computing
meta learning
neural network
discrete event
artificial intelligence
computational intelligence
state space
dynamic systems
decision making
active learning
genetic programming
dynamical systems