References

[1]

Charles Lesire, David Doose, and Christophe Grand. Formalization of robot skills with descriptive and operational models. In IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS). Las Vegas, NV, USA (virtual), 2020. doi:10.1109/IROS45743.2020.9340698.

[2]

Alexandre Albore, David Doose, Christophe Grand, Charles Lesire, and Augustin Manecy. Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management. In IEEE Int. Workshop on Robotics Software Engineering (RoSE), Int. Conf. on Software Engineering. Madrid, Spain (virtual), 2021.

[3]

Gabriela Catalán Medina, Jérémie Guiochet, Charles Lesire, and Augustin Manecy. A skill fault model for autonomous systems. In IEEE Int. Workshop on Robotics Software Engineering (RoSE), Int. Conf. on Software Engineering. Pittsburgh, PA, USA, 2022.

[4]

Baptiste Pelletier, Charles Lesire, David Doose, Karen Godary-Dejean, and Charles Dramé -Maigné. SkiNet, a Petri Net generation tool for the verification of skillset-based autonomous systems. In International Workshop on Formal Methods for Autonomous Systems. Berlin, Germany, 2022. doi:10.4204/eptcs.371.9.

[5]

Alexandre Albore, David Doose, Christophe Grand, Jérémie Guiochet, Charles Lesire, and Augustin Manecy. Skill-based design of dependable robotic architectures. Robotics and Autonomous Systems, 2023. doi:10.1016/j.robot.2022.104318.