BibTeX record conf/rss/SadighK16

download as .bib file

@inproceedings{DBLP:conf/rss/SadighK16,
  author       = {Dorsa Sadigh and
                  Ashish Kapoor},
  editor       = {David Hsu and
                  Nancy M. Amato and
                  Spring Berman and
                  Sam Ade Jacobs},
  title        = {Safe Control under Uncertainty with Probabilistic Signal Temporal
                  Logic},
  booktitle    = {Robotics: Science and Systems XII, University of Michigan, Ann Arbor,
                  Michigan, USA, June 18 - June 22, 2016},
  year         = {2016},
  url          = {http://www.roboticsproceedings.org/rss12/p17.html},
  doi          = {10.15607/RSS.2016.XII.017},
  timestamp    = {Fri, 29 Jan 2021 22:08:18 +0100},
  biburl       = {https://dblp.org/rec/conf/rss/SadighK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics