Safe Control under Uncertainty with Probabilistic Signal Temporal Logic

authors: Dorsa Sadigh, Ashish Kapoor

venue (conference): Proceedings of Robotics: Science and Systems

date: 2016

specification languages

• PrSTL

keywords

(nil)

URL

• http://www.roboticsproceedings.org/rss12/p17.pdf
• http://www.roboticsproceedings.org/rss12/p17.html
• https://dx.doi.org/10.15607/RSS.2016.XII.017 (auto-generated link)

BibTeX

@inproceedings{d6a38902-18ae-4de1-bcfa-ce6af34a62f3,
  title = {Safe Control under Uncertainty with Probabilistic Signal Temporal Logic},
  author = {Dorsa Sadigh AND Ashish Kapoor},
  year = {2016},
  booktitle = {Proceedings of Robotics: Science and Systems},
  month = {June},
}