Multiple shooting, CEGAR-based falsification for hybrid systems.

Aditya Zutshi Jyotirmoy V. Deshmukh Sriram Sankaranarayanan James Kapinski

Published in: EMSOFT (2014)

Keyphrases

hybrid systems
intelligent systems
discrete event
black box
neural network
meta learning
artificial intelligence
fuzzy logic
computational intelligence
dynamical systems
knowledge base
search space
soft computing