Login / Signup
Measurability and safety verification for stochastic hybrid systems.
Martin Fränzle
Ernst Moritz Hahn
Holger Hermanns
Nicolás Wolovick
Lijun Zhang
Published in:
HSCC (2011)
Keyphrases
</>
hybrid systems
discrete event
intelligent systems
black box
meta learning
neural network
computational intelligence
soft computing
dynamic systems
artificial intelligence
simulation model
decision making
model selection
learning tasks