مؤتمر
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 |