Sumanth Dathathri, Ioannis Filippidis, Richard M. Murray. Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States. In Nancy M. Amato, Greg Hager, Shawna L. Thomas, Miguel Torres-Torriti, editors, Robotics Research, The 18th International Symposium, ISRR 2017, Puerto Varas, Chile, December 11-14, 2017. Volume 10 of Springer Proceedings in Advanced Robotics, pages 827-842, Springer, 2017. [doi]
@inproceedings{DathathriFM17,
title = {Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States},
author = {Sumanth Dathathri and Ioannis Filippidis and Richard M. Murray},
year = {2017},
doi = {10.1007/978-3-030-28619-4_57},
url = {https://doi.org/10.1007/978-3-030-28619-4_57},
researchr = {https://researchr.org/publication/DathathriFM17},
cites = {0},
citedby = {0},
pages = {827-842},
booktitle = {Robotics Research, The 18th International Symposium, ISRR 2017, Puerto Varas, Chile, December 11-14, 2017},
editor = {Nancy M. Amato and Greg Hager and Shawna L. Thomas and Miguel Torres-Torriti},
volume = {10},
series = {Springer Proceedings in Advanced Robotics},
publisher = {Springer},
isbn = {978-3-030-28619-4},
}