Modular Development of Hybrid Systems for Verification in Coq.

Milad Niqui Olga Tveretina

Published in: HSCC (2008)

Keyphrases

hybrid systems
meta learning
intelligent systems
soft computing
black box
formal methods
neural network
machine learning
active learning
computational intelligence
genetic algorithm