Baptiste Pelletier

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

This work presents a novel approach for the online supervision of robotic systems assembled from multiple complex components with skillset-based architectures, using Petri nets (PN). Predictive runtime verification is performed, which warns the system user about actions that would lead to the violat…