TY  - RPRT
TI  - Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey
AU  - Abolfazl Lavaei
AU  - Sadegh Soudjani
AU  - Alessandro Abate
AU  - Majid Zamani
PY  - 2022
UR  - https://arxiv.org/abs/2101.07491
ID  - 2101.07491
ER  -