@inproceedings{DBLP:conf/wafr/ChenTLP18,
  author       = {Mo Chen and
                  Qizhan Tam and
                  Scott C. Livingston and
                  Marco Pavone},
  editor       = {Marco Morales and
                  Lydia Tapia and
                  Gildardo S{\'{a}}nchez{-}Ante and
                  Seth Hutchinson},
  title        = {Signal Temporal Logic Meets Reachability: Connections and Applications},
  booktitle    = {Algorithmic Foundations of Robotics XIII, Proceedings of the 13th
                  Workshop on the Algorithmic Foundations of Robotics, {WAFR} 2018,
                  M{\'{e}}rida, Mexico, December 9-11, 2018},
  series       = {Springer Proceedings in Advanced Robotics},
  volume       = {14},
  pages        = {581--601},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-44051-0\_34},
  doi          = {10.1007/978-3-030-44051-0\_34},
  timestamp    = {Mon, 19 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wafr/ChenTLP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"GyyMRnNDRwSF78kQt","bibbaseid":"chen-tam-livingston-pavone-signaltemporallogicmeetsreachabilityconnectionsandapplications-2018","author_short":["Chen, M.","Tam, Q.","Livingston, S. C.","Pavone, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mo"],"propositions":[],"lastnames":["Chen"],"suffixes":[]},{"firstnames":["Qizhan"],"propositions":[],"lastnames":["Tam"],"suffixes":[]},{"firstnames":["Scott","C."],"propositions":[],"lastnames":["Livingston"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Pavone"],"suffixes":[]}],"editor":[{"firstnames":["Marco"],"propositions":[],"lastnames":["Morales"],"suffixes":[]},{"firstnames":["Lydia"],"propositions":[],"lastnames":["Tapia"],"suffixes":[]},{"firstnames":["Gildardo"],"propositions":[],"lastnames":["Sánchez-Ante"],"suffixes":[]},{"firstnames":["Seth"],"propositions":[],"lastnames":["Hutchinson"],"suffixes":[]}],"title":"Signal Temporal Logic Meets Reachability: Connections and Applications","booktitle":"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","series":"Springer Proceedings in Advanced Robotics","volume":"14","pages":"581–601","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-030-44051-0\\_34","doi":"10.1007/978-3-030-44051-0_34","timestamp":"Mon, 19 Dec 2022 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/wafr/ChenTLP18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/wafr/ChenTLP18,\n author = {Mo Chen and\n Qizhan Tam and\n Scott C. Livingston and\n Marco Pavone},\n editor = {Marco Morales and\n Lydia Tapia and\n Gildardo S{\\'{a}}nchez{-}Ante and\n Seth Hutchinson},\n title = {Signal Temporal Logic Meets Reachability: Connections and Applications},\n booktitle = {Algorithmic Foundations of Robotics XIII, Proceedings of the 13th\n Workshop on the Algorithmic Foundations of Robotics, {WAFR} 2018,\n M{\\'{e}}rida, Mexico, December 9-11, 2018},\n series = {Springer Proceedings in Advanced Robotics},\n volume = {14},\n pages = {581--601},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-030-44051-0\\_34},\n doi = {10.1007/978-3-030-44051-0\\_34},\n timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/wafr/ChenTLP18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Chen, M.","Tam, Q.","Livingston, S. C.","Pavone, M."],"editor_short":["Morales, M.","Tapia, L.","Sánchez-Ante, G.","Hutchinson, S."],"key":"DBLP:conf/wafr/ChenTLP18","id":"DBLP:conf/wafr/ChenTLP18","bibbaseid":"chen-tam-livingston-pavone-signaltemporallogicmeetsreachabilityconnectionsandapplications-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-44051-0\\_34"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/31/2800.bib","dataSources":["WmviJGuSDy7CgdAjb"],"keywords":[],"search_terms":["signal","temporal","logic","meets","reachability","connections","applications","chen","tam","livingston","pavone"],"title":"Signal Temporal Logic Meets Reachability: Connections and Applications","year":2018}