Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets

B Pelletier, C Lesire, C Grand, D Doose… - … on Robotics and …, 2023 - ieeexplore.ieee.org
This work presents a novel approach for the online supervision of robotic systems
assembled from multiple complex components with skillset-based architectures, using Petri …