Robot Skills documentation
This website owns the documentation of the Robot Skills toolchain, including a description of the associated language as well as tools to generate ROS2 nodes, client libraries, GUI, etc.
Associated publications
Formalization of robot skills with descriptive and operational models,
C. Lesire, D. Doose, and C. Grand,
IEEE Int. Conference on Intelligent Robots and Systems (IROS 2020).
|
|||
Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management,
A. Albore, D. Doose, C. Grand, C. Lesire, and A. Manecy,
IEEE Int. Workshop on Robotics Software Engineering (RoSE 2021),
Int. Conf. on Software Engineering, 2021.
|
|||
A skill fault model for autonomous systems,
G. Catalán Medina, J. Guiochet, C. Lesire, and A. Manecy,
IEEE Int. Workshop on Robotics Software Engineering (RoSE 2022),
Int. Conf. on Software Engineering, 2022.
|
|||
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems,
B. Pelletier, C. Lesire, D. Doose, K. Godary-Dejean and C. Dramé-Maigné,
International Workshop on Formal Methods for Autonomous Systems (FMAS 2022).
|
|||
Skill-based design of dependable robotic architectures,
A. Albore, D. Doose, C. Grand, J. Guiochet, C. Lesire, and A. Manecy,
Robotics and Autonomous Systems, 160:104318, doi 10.1016/j.robot.2022.104318, 2023 (HAL).
|