Model measuring for hybrid systems.

Thomas A. Henzinger Jan Otop

Published in: HSCC (2014)

Keyphrases

mathematical model
data model
hybrid systems
genetic algorithm
active learning
machine learning algorithms
software systems
simulation model
discrete event