<p>Offline and Runtime Verification of Skill-based Robotic Systems using Petri Nets</p>

Offline and Runtime Verification of Skill-based Robotic Systems using Petri Nets

Baptiste Pelletier - Offline and Runtime Verification of Skill-based Robotic Systems using Petri Nets

ROSConFr 2023 : ROSConFr est une conférence scientifique et technique dédiée à l’ingénierie de la robotique. Elle aborde l’intelligence artificielle, les robots avancés et la technologie robotique. Avec l’adoption de l’écosystème opensource ROS à travers la communauté robotique, ROSConFr est la conférence pour interagir sur cette technologie.

Share Baptiste Pelletier - Offline and Runtime Verification of Skill-based Robotic Systems using Petri Nets

Sign up to save your podcasts

Baptiste Pelletier - Offline and Runtime Verification of Skill-based Robotic Systems using Petri Nets

Baptiste Pelletier - Offline and Runtime Verification of Skill-based Robotic Systems using Petri Nets