Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir Specifications for decidable hybrid games. (English) Zbl 1229.93104 Theor. Comput. Sci. 412, No. 48, 6770-6785 (2011). MSC: 93C30 91A80 68Q45 PDFBibTeX XMLCite \textit{V. Vladimerou} et al., Theor. Comput. Sci. 412, No. 48, 6770--6785 (2011; Zbl 1229.93104) Full Text: DOI
Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir STORMED hybrid games. (English) Zbl 1237.91020 Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 480-484 (2009). MSC: 91A10 PDFBibTeX XMLCite \textit{V. Vladimerou} et al., Lect. Notes Comput. Sci. 5469, 480--484 (2009; Zbl 1237.91020) Full Text: DOI