مؤتمر
Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks
العنوان: | Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks |
---|---|
المؤلفون: | Scher, Guy, Sadraddini, Sadra, Kress-Gazit, Hadas |
المصدر: | 2023 IEEE International Conference on Robotics and Automation (ICRA) Robotics and Automation (ICRA), 2023 IEEE International Conference on. :12409-12415 May, 2023 |
Relation: | 2023 IEEE International Conference on Robotics and Automation (ICRA) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9798350323658 |
---|---|
DOI: | 10.1109/ICRA48891.2023.10161083 |