Research paper
Probabilistic temporal specifications for robot control
Probabilistic Signal Temporal Logic expresses uncertain safety requirements that can change with sensing and classifier data. The proceedings abstract presents efficient controller reasoning with quadrotor and autonomous-vehicle examples.
Reviewed 2026-11-05 · Source and bibliography checked
- Original title
- Safe Control under Uncertainty with Probabilistic Signal Temporal Logic
- Publisher
- Robotics: Science and Systems Foundation
- Authors
- Dorsa Sadigh, Ashish Kapoor
- DOI
- 10.15607/rss.2016.xii.017
- Proceedings publication date
- 2016-06
- Source language
- en
- Edition
- Robotics: Science and Systems XII
- Access
- Public bibliography and abstract
- Publication status
- Published
Source overview
Probabilistic Signal Temporal Logic expresses uncertain safety requirements that can change with sensing and classifier data. The proceedings abstract presents efficient controller reasoning with quadrotor and autonomous-vehicle examples.
Use and review
Guarantees are conditional on the stated dynamics, sensing and constraint assumptions. Abstract/source screening does not validate a complete robot installation or an ISO13849 safety function.
Sources & editions
Safe Control under Uncertainty with Probabilistic Signal Temporal Logic ↗
Robotics: Science and Systems Foundation · Robotics: Science and Systems XII
Owning RSS2016 title/authors/DOI/abstract and BibTeX June2016 checked. Abstract does not establish physical deployment; no hardware result inferred.