C2E2: a tool for verifying annotated hybrid systems.

Parasara Sridhar Duggirala Matthew Potok Sayan Mitra Mahesh Viswanathan

Published in: HSCC (2015)

Keyphrases

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