Mo Chen, Qizhan Tam, Scott C. Livingston, Marco Pavone. Signal Temporal Logic Meets Reachability: Connections and Applications. In Marco Morales, Lydia Tapia, Gildardo Sánchez-Ante, Seth Hutchinson, editors, Algorithmic Foundations of Robotics XIII, Proceedings of the 13th Workshop on the Algorithmic Foundations of Robotics, WAFR 2018, Mérida, Mexico, December 9-11, 2018. Volume 14 of Springer Proceedings in Advanced Robotics, pages 581-601, Springer, 2018. [doi]
Abstract is missing.