TY  - RPRT
TI  - Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
AU  - Nathalie Cauchi
AU  - Luca Laurenti
AU  - Morteza Lahijanian
AU  - Alessandro Abate
AU  - Marta Kwiatkowska
AU  - Luca Cardelli
PY  - 2019
UR  - https://arxiv.org/abs/1901.01576
ID  - 1901.01576
ER  -