Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano Reachability games for linear hybrid systems. (English) Zbl 1361.68116 Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 65-74 (2012). Cited in 1 Document MSC: 68Q45 Formal languages and automata 34A60 Ordinary differential inclusions 91A80 Applications of game theory 93B40 Computational methods in systems theory (MSC2010) 93B50 Synthesis problems 93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) Keywords:controller synthesis; formal methods; hybrid automata Software:PHAVer PDFBibTeX XMLCite \textit{M. Benerecetti} et al., in: Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17--19, 2012. New York, NY: Association for Computing Machinery (ACM). 65--74 (2012; Zbl 1361.68116) Full Text: DOI