Sogokon, Andrew; Mitsch, Stefan; Tan, Yong Kiam; Cordwell, Katherine; Platzer, André Pegasus: sound continuous invariant generation. (English) Zbl 1505.68045 Form. Methods Syst. Des. 58, No. 1-2, 5-41 (2021). MSC: 68V15 34-04 68Q60 93B03 PDFBibTeX XMLCite \textit{A. Sogokon} et al., Form. Methods Syst. Des. 58, No. 1--2, 5--41 (2021; Zbl 1505.68045) Full Text: DOI arXiv
Ratschan, Stefan Safety verification of non-linear hybrid systems is quasi-decidable. (English) Zbl 1291.68266 Form. Methods Syst. Des. 44, No. 1, 71-90 (2014). MSC: 68Q60 68Q85 68Q45 PDFBibTeX XMLCite \textit{S. Ratschan}, Form. Methods Syst. Des. 44, No. 1, 71--90 (2014; Zbl 1291.68266) Full Text: DOI