TY  - RPRT
TI  - SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems
AU  - Baptiste Pelletier
AU  - Charles Lesire
AU  - David Doose
AU  - Karen Godary-Dejean
AU  - Charles Dramé-Maigné
PY  - 2022
DO  - 10.4204/eptcs.371.9
UR  - https://arxiv.org/abs/2209.14039
ID  - 2209.14039
ER  -