Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano HRELTL: a temporal logic for hybrid systems. (English) Zbl 1332.68139 Inf. Comput. 245, 54-71 (2015). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Inf. Comput. 245, 54--71 (2015; Zbl 1332.68139) Full Text: DOI
Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano SMT-based scenario verification for hybrid systems. (English) Zbl 1284.03216 Form. Methods Syst. Des. 42, No. 1, 46-66 (2013). MSC: 03D05 68Q60 68T20 68Q45 03B44 03D78 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Form. Methods Syst. Des. 42, No. 1, 46--66 (2013; Zbl 1284.03216) Full Text: DOI