ResearchTrend.AI
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems

SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems

Baptiste Pelletier
C. Lesire
D. Doose
Karen Godary-Dejean
Charles Dramé-Maigné
ArXiv (abs)PDFHTML

Papers citing "SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems"

1 / 1 papers shown
Title
Model-Based AI planning and Execution Systems for Robotics
Model-Based AI planning and Execution Systems for Robotics
Or Wertheim
Ronen I. Brafman
77
0
0
07 May 2025