Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa. Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013. pages 1369-1376, 2013.
Abstract is missing.