References
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.
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.
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.
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.
Baptiste Pelletier, Charles Lesire, Christophe Grand, David Doose, and Mathieu Rognant. Predictive runtime verification of skill-based robotic systems using Petri Nets. In 2023 IEEE International conference on robotics and automation (ICRA), 10580–10586. London, United Kingdom, 2023. IEEE. doi:10.1109/ICRA48891.2023.10160434.
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.
Alexandre Albore. Decision-making and skill-based architectures for autonomous mobile robots. In Reasoning and Learning for Autonomous Agent: Agents Vic Autumn Symposium. Melbourne, 2024.
Baptiste Pelletier, Charles Lesire, and Karen Godary-Dejean. SkiNet: a user-oriented tool for Petri Net-Based analysis of Robotic Skills. In Elvio Amparore and Łukasz Mikulski, editors, Int. Conference on Applications and Theory of Petri Nets and Concurrency, 354–365. Springer, 2025.
Baptiste Pelletier, Charles Lesire, and Karen Godary-Dejean. A formal framework for the specification and verification of robotic skills composition for autonomous behaviors. Robotics and Autonomous Systems, 2025. doi:10.1016/j.robot.2025.105041.
Pierre Malafosse, Alexandre Albore, Jérémie Guiochet, and Charles Lesire. Skill-based architectures in autonomous systems: an empirical study. In IEEE International Conference on Engineering Reliable Autonomous Systems (ERAS), 1–8. Worcester Polytechnic Institute, Worcester, MA, USA, 2025. IEEE.