Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets
| Title: | Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets |
|---|---|
| Authors: | Pelletier, Baptiste; Lesire, Charles; Grand, Christophe; Doose, David; Rognant, Mathieu |
| Source: | 2023 IEEE International Conference on Robotics and Automation (ICRA) Robotics and Automation (ICRA), 2023 IEEE International Conference on. :10580-10586 May, 2023 |
| Relation: | 2023 IEEE International Conference on Robotics and Automation (ICRA) |
| Database: | IEEE Xplore Digital Library |