Sign in
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems.
Nathalie Cauchi
Luca Laurenti
Morteza Lahijanian
Alessandro Abate
Marta Kwiatkowska
Luca Cardelli
Published in:
CoRR (2019)
Keyphrases
</>
hybrid systems
discrete event
black box
intelligent systems
soft computing
meta learning
artificial intelligence
neural network
computational intelligence
artificial neural networks
benchmark datasets