SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems. - Baptiste Pelletier; Charles Lesire; David Doose; Karen Godary-Dejean; Charles Dramé-Maigné (FMAS/ASYDE@SEFM, 2022)

Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets. - Baptiste Pelletier; Charles Lesire; Christophe Grand; David Doose; Mathieu Rognant (ICRA, 2023)

SkiNet: A User-Oriented Tool for Petri Net-Based Analysis of Robotic Skills. - Baptiste Pelletier; Charles Lesire; Karen Godary-Dejean (Petri Nets, 2025)

A formal framework for the specification and verification of robotic skills composition for autonomous behaviors. - Baptiste Pelletier; Charles Lesire; Karen Godary-Dejean (Robotics Auton. Syst., 2025)