Login / Signup
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems.
Nathalie Cauchi
Luca Laurenti
Morteza Lahijanian
Alessandro Abate
Marta Kwiatkowska
Luca Cardelli
Published in:
HSCC (2019)
Keyphrases
</>
hybrid systems
discrete event
black box
intelligent systems
soft computing
meta learning
artificial intelligence
neural network
computational intelligence
machine learning
expert systems
knowledge acquisition
simulation model