@inproceedings{lesire2020formalization,
    title = "Formalization of Robot Skills with Descriptive and Operational Models",
    author = "Charles Lesire and David Doose and Christophe Grand",
    booktitle = "IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS)",
    year = "2020",
    address = "Las Vegas, NV, USA (virtual)",
    doi = "10.1109/IROS45743.2020.9340698"
}

@inproceedings{dropter-rose,
  author          = {Alexandre Albore and David Doose and Christophe Grand and Charles Lesire and Augustin Manecy},
  title           = {{Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management}},
  booktitle       = {IEEE Int. Workshop on Robotics Software Engineering (RoSE), Int. Conf. on Software Engineering},
  address         = {Madrid, Spain (virtual)},
  year            = {2021}
}

@inproceedings{skill-fault,
    title = {A skill fault model for autonomous systems},
    author = {Gabriela Catalán Medina and Jérémie Guiochet and Charles Lesire and Augustin Manecy},
  booktitle       = {IEEE Int. Workshop on Robotics Software Engineering (RoSE), Int. Conf. on Software Engineering},
    year = 2022,
    address = {Pittsburgh, PA, USA}
}

@inproceedings{pelletier_2022,
  doi = {10.4204/eptcs.371.9},
  year = 2022,
  author = {Baptiste Pelletier and Charles Lesire and David Doose and Karen Godary-Dejean and Charles Dram{\'{e}
}-Maign{\'{e}}},
  title = {{SkiNet}, A {P}etri {N}et Generation Tool for the Verification of Skillset-based Autonomous Systems},
  booktitle = {International Workshop on Formal Methods for Autonomous Systems},
  address         = {Berlin, Germany}
}

@inproceedings{pelletier_2023,
  title={Predictive runtime verification of skill-based robotic systems using {P}etri {N}ets},
  author={Pelletier, Baptiste and Lesire, Charles and Grand, Christophe and Doose, David and Rognant, Mathieu},
  booktitle={2023 IEEE International conference on robotics and automation (ICRA)},
  pages={10580--10586},
  year={2023},
  ADDRESS = {London, United Kingdom},
  DOI = {10.1109/ICRA48891.2023.10160434},
  organization={IEEE}
}

@article{skill-based2023,
  author          = {Alexandre Albore and David Doose and Christophe Grand and Jérémie Guiochet and Charles Lesire and Augustin Manecy},
  journal         = {Robotics and Autonomous Systems},
  title           = {Skill-based design of dependable robotic architectures},
  volume          = {160},
  number          = {104318},
  year            = {2023},
  doi             = {10.1016/j.robot.2022.104318}
}


@InProceedings{decision-making2024,
  author = 	 {Alexandre Albore},
  title = 	 {Decision-Making and Skill-based architectures for Autonomous Mobile Robots},
  year = 	 {2024},
  booktitle = {Reasoning and Learning for Autonomous Agent: Agents Vic Autumn Symposium},
  address = 	 {Melbourne}
}


@inproceedings{malafosse2024skill,
  title={Skill-Based Architectures in Autonomous systems: Lessons Learnt},
  author={Malafosse, Pierre and Albore, Alexandre and Guiochet, J{\'e}r{\'e}mie and Lesire, Charles},
  booktitle={19th International Conference on Integrated Formal Methods (iFM)},
  year={2024},
  address = {Manchester, United Kingdom}
}

@inproceedings{skinet2025,
  title={{SkiNet}: A User-Oriented Tool for {P}etri {N}et-{B}ased Analysis of {R}obotic {S}kills},
  author={Pelletier, Baptiste and Lesire, Charles and Godary-Dejean, Karen},
  editor="Amparore, Elvio and Mikulski, {\L}ukasz",
  booktitle={Int. Conference on Applications and Theory of Petri Nets and Concurrency},
  pages={354--365},
  year={2025},
  organization={Springer},
  isbn="978-3-031-94634-9"

}

@article{pelletier2025formal,
  title={A formal framework for the specification and verification of robotic skills composition for autonomous behaviors},
  author={Pelletier, Baptiste and Lesire, Charles and Godary-Dejean, Karen},
  journal={Robotics and Autonomous Systems},
  OPTpages={105041},
  volume = 192,
  year={2025},
  doi = {10.1016/j.robot.2025.105041},
  publisher={Elsevier}
}

@InProceedings{skill-based2025,
  author          = {Pierre Malafosse and Alexandre Albore and Jérémie Guiochet and Charles Lesire},
  journal         = {Robotics and Autonomous Systems},
  title           = {Skill-Based Architectures in Autonomous systems: an Empirical Study},
  booktitle       = {IEEE International Conference on Engineering Reliable Autonomous Systems (ERAS)},
  pages={1--8},
  year            = {2025},
  organization={IEEE},
  address         = {Worcester Polytechnic Institute, Worcester, MA, USA}
}