Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems.

Pavithra Prabhakar Parasara Sridhar Duggirala Sayan Mitra Mahesh Viswanathan

Published in: VMCAI (2013)

Keyphrases

hybrid systems
black box
intelligent systems
computational intelligence
soft computing
neural network
meta learning
discrete event
artificial intelligence
machine learning
active learning
state space
learning tasks