STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems.

Yi Deng Akshay Rajhans A. Agung Julius

Published in: QEST (2013)

Keyphrases

hybrid systems
black box
intelligent systems
neural network
soft computing
computational intelligence
meta learning
artificial intelligence
discrete event
evolutionary algorithm
machine learning algorithms
workflow systems