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.
@inproceedings{GuglielmoSV13,
title = {Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata},
author = {Luigi Di Guglielmo and Sanjit A. Seshia and Tiziano Villa},
year = {2013},
researchr = {https://researchr.org/publication/GuglielmoSV13},
cites = {0},
citedby = {0},
pages = {1369-1376},
booktitle = {Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013},
editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki},
}