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]
Abstract is missing.