Login / Signup
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.
Ernst Moritz Hahn
Gethin Norman
David Parker
Björn Wachter
Lijun Zhang
Published in:
QEST (2011)
Keyphrases
</>
hybrid systems
controller synthesis
black box
intelligent systems
meta learning
neural network
autonomic computing systems
soft computing
discrete event
computational intelligence
artificial intelligence
bayesian networks
web services
learning tasks
simulation model
controller design
genetic algorithm