Baptiste Pelletier

According to our database, Baptiste Pelletier authored at least 5 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

A Formal Factorization Approach of Non-deterministic Plans: Application to an Anti-poaching Robotic Mission Scenario.

Baptiste Pelletier, Caroline P. C. Chanel, Alexandre Albore

Proceedings of the Agents and Robots for reliable Engineered Autonomy - 5th Workshop, 2025

SkiNet: A User-Oriented Tool for Petri Net-Based Analysis of Robotic Skills.

Baptiste Pelletier, Charles Lesire, Karen Godary-Dejean

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2025

2023

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

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

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022

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é

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022