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

Baptiste Pelletier, Charles Lesire, Christophe Grand, David Doose, Mathieu Rognant

Browse the full ICRA paper archive.