Extracting counterexamples induced by safety violation in linear hybrid systems.

Manish Goyal Parasara Sridhar Duggirala

Published in: Autom. (2020)

Keyphrases

hybrid systems
intelligent systems
neural network
discrete event
soft computing
computational intelligence
black box
meta learning
artificial intelligence
decision trees