Login / Signup
Baptiste Pelletier
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Petri Net
Service Composition
Autonomous Systems
Ims Ld
Top Venues
ICRA
FMAS/ASYDE@SEFM
</>
Publications
</>
Baptiste Pelletier
,
Charles Lesire
,
Christophe Grand
,
David Doose
,
Mathieu Rognant
Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets.
ICRA
(2023)
Baptiste Pelletier
,
Charles Lesire
,
David Doose
,
Karen Godary-Dejean
,
Charles Dramé-Maigné
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems.
FMAS/ASYDE@SEFM
(2022)