Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz Safety verification for probabilistic hybrid systems. (English) Zbl 1291.93294 Eur. J. Control 18, No. 6, 572-587 (2012). MSC: 93E03 93C30 PDFBibTeX XMLCite \textit{L. Zhang} et al., Eur. J. Control 18, No. 6, 572--587 (2012; Zbl 1291.93294) Full Text: DOI
Huuck, Ralf; Lukoschus, Ben; Lakhnech, Yassine Verifying untimed and timed aspects of the experimental batch plant. (English) Zbl 1293.93317 Eur. J. Control 7, No. 4, 400-415 (2001). MSC: 93B50 93C30 93C65 PDFBibTeX XMLCite \textit{R. Huuck} et al., Eur. J. Control 7, No. 4, 400--415 (2001; Zbl 1293.93317) Full Text: DOI Link