Damm, Werner; Pinto, Guilherme; Ratschan, Stefan Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. (English) Zbl 1109.68064 Int. J. Found. Comput. Sci. 18, No. 1, 63-86 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{W. Damm} et al., Int. J. Found. Comput. Sci. 18, No. 1, 63--86 (2007; Zbl 1109.68064) Full Text: DOI
Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Ouaknine, Joël; Stursberg, Olaf; Theobald, Michael Abstraction and counterexample-guided refinement in model checking of hybrid systems. (English) Zbl 1101.68678 Int. J. Found. Comput. Sci. 14, No. 4, 583-604 (2003). MSC: 68Q60 PDFBibTeX XMLCite \textit{E. Clarke} et al., Int. J. Found. Comput. Sci. 14, No. 4, 583--604 (2003; Zbl 1101.68678) Full Text: DOI