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
=======================

.. list-table::
   :header-rows: 0
   :widths: 1 3 1 1

   * - :cite:`lesire2020formalization`   
     -
      | **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 <https://www.iros2020.org>`_).

     - .. youtube:: kRVsFaRNL2M
            :height: 160px
     - 


   * - :cite:`dropter-rose`

     -
      | **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 <https://rose-workshops.github.io/rose2021/>`_), 
      | Int. Conf. on Software Engineering, 2021.

     - .. youtube:: -sMrfzyCozE
            :height: 160px
     - .. youtube:: mZxyl6v-tDw
            :height: 160px


   * - :cite:`skill-fault`
   
     -
      | **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 <https://rose-workshops.github.io/rose2022/>`_), 
      | Int. Conf. on Software Engineering, 2022.

     - 
     - 


   * - :cite:`pelletier_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 <https://fmasworkshop.github.io/FMAS2022/>`_).

     -
     -


   * - :cite:`skill-based2023`
   
     -
      | **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 <https://hal.science/hal-03927289/document/>`_).

     - 
     -

   * - :cite:`decision-making2024`
   
     -
      | **Decision-Making and Skill-based architectures for AutonomousMobile Robots**, 
      | A. Albore,
      | *Reasoning and Learning for Autonomous Agents*, `Agents Vic Autumn Symposium <https://sites.google.com/view/agentsvic-autumn2024/>`_, 2024.

     - :download:`Download slides <downloads/Albore-skills-VicSymposium.pdf>`.
     - 


.. toctree::
   :maxdepth: 3
   :caption: Contents:

   introduction
   install
   language
   verification
   tutorial
   
   refs


Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`