We stand with Ukraine  

Baptiste Pelletier

Orcid: 0000-0002-5002-337X

According to our database1, Baptiste Pelletier authored at least 2 papers between 2022 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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


  Loading...