Signal Temporal Logic Meets Reachability: Connections and Applications. Chen, M., Tam, Q., Livingston, S. C., & Pavone, M. In Morales, M., Tapia, L., Sánchez-Ante, G., & Hutchinson, S., 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, 2018. Springer.
Signal Temporal Logic Meets Reachability: Connections and Applications [link]Paper  doi  bibtex   
@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 = {Wed, 13 May 2020 11:34:41 +0200},
  biburl    = {https://dblp.org/rec/conf/wafr/ChenTLP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0