- Title:
Online Verification of Multiple Safety Criteria for a Robot Trajectory
- Document type:
- Konferenzbeitrag
- Author(s):
- Beckert, D.; Pereira, A.; Althoff, M.
- Book / Congress title:
- Proc. of the 56th IEEE Conference on Decision and Control
- Year:
- 2017
- Fulltext / DOI:
- doi:10.1109/CDC.2017.8264632
- BibTeX