Algorithmic Verification of Continuous and Hybrid Systems.

Published in: INFINITY (2013)

Keyphrases

hybrid systems
black box
intelligent systems
soft computing
meta learning
discrete event
artificial intelligence
computational intelligence
neural network
learning algorithm
software engineering
evolutionary computation
search algorithm
access control