Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro; Zamani, Majid Automated verification and synthesis of stochastic hybrid systems: a survey. (English) Zbl 1504.93389 Automatica 146, Article ID 110617, 40 p. (2022). MSC: 93E12 93C30 93C55 90C40 93-02 PDFBibTeX XMLCite \textit{A. Lavaei} et al., Automatica 146, Article ID 110617, 40 p. (2022; Zbl 1504.93389) Full Text: DOI arXiv
Nejati, Ameneh; Soudjani, Sadegh; Zamani, Majid Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. (English) Zbl 1455.93190 Eur. J. Control 57, 82-94 (2021). MSC: 93E03 93C30 93C55 93C10 PDFBibTeX XMLCite \textit{A. Nejati} et al., Eur. J. Control 57, 82--94 (2021; Zbl 1455.93190) Full Text: DOI Link