@inbook{430b9c891b8b4557a218cfe4ff331690,
title = "Signal Temporal Logic Meets Reachability: Connections and Applications",
author = "Mo Chen and Qizhan Tam and Livingston, {Scott C.} and Marco Pavone",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.",
year = "2020",
doi = "10.1007/978-3-030-44051-0_34",
language = "English",
series = "Springer Proceedings in Advanced Robotics",
publisher = "Springer Science and Business Media B.V.",
pages = "581--601",
booktitle = "Springer Proceedings in Advanced Robotics",
address = "Germany",
}