<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-03683044v2</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-13T13:10:10+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A formal toolchain for offline and run-time verification of robotic systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Silvano</forename>
                <surname>Dal Zilio</surname>
              </persName>
              <email type="md5">65606046f227ab23f66da7331c2619fd</email>
              <email type="domain">laas.fr</email>
              <idno type="idhal" notation="string">dalzilio</idno>
              <idno type="idhal" notation="numeric">3545</idno>
              <idno type="halauthorid" notation="string">10476-3545</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6002-2696</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=pyT3QKYAAAAJ&amp;hl=en</idno>
              <idno type="IDREF">https://www.idref.fr/123897912</idno>
              <idno type="ARXIV">https://arxiv.org/a/dalzilio_s_1</idno>
              <orgName ref="#struct-394916"/>
              <affiliation ref="#struct-394916"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pierre-Emmanuel</forename>
                <surname>Hladik</surname>
              </persName>
              <email type="md5">d9affad64d2e59c172bdd7ef65a1944d</email>
              <email type="domain">ls2n.fr</email>
              <idno type="idhal" notation="string">pehladik</idno>
              <idno type="idhal" notation="numeric">177111</idno>
              <idno type="halauthorid" notation="string">10841-177111</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5925-8856</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=RIsZVfIAAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/050322672</idno>
              <orgName ref="#struct-394916"/>
              <affiliation ref="#struct-1088564"/>
              <affiliation ref="#struct-1088582"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Félix</forename>
                <surname>Ingrand</surname>
              </persName>
              <email type="md5">59737ab01c1664fdb62031fbeba4110d</email>
              <email type="domain">laas.fr</email>
              <idno type="idhal" notation="string">felix-ingrand</idno>
              <idno type="idhal" notation="numeric">3406</idno>
              <idno type="halauthorid" notation="string">3937-3406</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2822-0905</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?hl=en&amp;user=hWexaY4AAAAJ</idno>
              <idno type="IDREF">https://www.idref.fr/03265216X</idno>
              <orgName ref="#struct-389081"/>
              <affiliation ref="#struct-392741"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Anthony</forename>
                <surname>Mallet</surname>
              </persName>
              <email type="md5">4abda0612e0f1a4b995e5d92a4681be7</email>
              <email type="domain">laas.fr</email>
              <idno type="idhal" notation="string">anthonymallet</idno>
              <idno type="idhal" notation="numeric">18612</idno>
              <idno type="halauthorid" notation="string">12848-18612</idno>
              <idno type="IDREF">https://www.idref.fr/059706821</idno>
              <orgName ref="#struct-399701"/>
              <affiliation ref="#struct-399701"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Felix</forename>
                <surname>Ingrand</surname>
              </persName>
              <email type="md5">932a78c2d93427e87b019f618b2bf8b4</email>
              <email type="domain">laas.fr</email>
            </editor>
            <funder ref="#projanr-50372"/>
            <funder ref="#projeurop-716952"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2022-05-31 14:33:08</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2022-10-17 15:43:39</date>
              <date type="whenModified">2026-02-19 11:35:03</date>
              <date type="whenReleased">2022-10-18 14:59:12</date>
              <date type="whenProduced">2023-01</date>
              <date type="whenEndEmbargoed">2022-10-17</date>
              <ref type="file" target="https://laas.hal.science/hal-03683044v2/document">
                <date notBefore="2022-10-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://laas.hal.science/hal-03683044v2/file/main_rob.pdf" id="file-3818012-3337377">
                <date notBefore="2022-10-17"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="141498">
                <persName>
                  <forename>Felix</forename>
                  <surname>Ingrand</surname>
                </persName>
                <email type="md5">932a78c2d93427e87b019f618b2bf8b4</email>
                <email type="domain">laas.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03683044</idno>
            <idno type="halUri">https://laas.hal.science/hal-03683044</idno>
            <idno type="halBibtex">dalzilio:hal-03683044</idno>
            <idno type="halRefHtml">&lt;i&gt;Robotics and Autonomous Systems&lt;/i&gt;, 2023, 159, pp.104301. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.robot.2022.104301"&gt;&amp;#x27E8;10.1016/j.robot.2022.104301&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Robotics and Autonomous Systems, 2023, 159, pp.104301. &amp;#x27E8;10.1016/j.robot.2022.104301&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3818012-3337377"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INSA-TOULOUSE">Institut National des Sciences Appliquées de Toulouse</idno>
            <idno type="stamp" n="EC-NANTES">Ecole Centrale de Nantes</idno>
            <idno type="stamp" n="LAAS">Laboratoire d'analyse et d'architecture des systèmes</idno>
            <idno type="stamp" n="OPENAIRE">OpenAIRE</idno>
            <idno type="stamp" n="UNAM">l'unam - université nantes angers le mans</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="LAAS-RIS" corresp="LAAS-ROBOTIQUE">Équipe Robotique et InteractionS</idno>
            <idno type="stamp" n="LAAS-VERTICS" corresp="LAAS-RISC">Équipe Verification de Systèmes Temporisés Critiques</idno>
            <idno type="stamp" n="LAAS-IDEA" corresp="LAAS">Service Informatique : Développement, Exploitation et Assistance</idno>
            <idno type="stamp" n="LAAS-ROBOTIQUE" corresp="LAAS">LAAS-Robotique</idno>
            <idno type="stamp" n="LAAS-INFORMATIQUE-CRITIQUE" corresp="LAAS">LAAS-Informatique Critique</idno>
            <idno type="stamp" n="LS2N">Laboratoire des Sciences du Numérique de Nantes</idno>
            <idno type="stamp" n="LS2N-STR" corresp="LS2N">LS2N - équipe STR</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="INSA-TOULOUSE-GEI" corresp="INSA-TOULOUSE">Génie Electrique et Informatique - INSA Toulouse</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="LAAS-RISC" corresp="LAAS">Réseaux, Informatique, Systèmes de Confiance</idno>
            <idno type="stamp" n="PNRIA">Programme National de Recherche en IA</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="ANITI">ANITI - Artificial and Natural Intelligence Toulouse Institute</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="NANTES-UNIVERSITE">Nantes Université</idno>
            <idno type="stamp" n="NANTES-UNIV">Nantes Université</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="TEST7-HALCNRS">test 7 du portail hal cnrs</idno>
            <idno type="stamp" n="LAAS-TRUST" corresp="LAAS-RISC">Trustworthy systems: foundations and practices</idno>
            <idno type="stamp" n="ANR-IA-19" corresp="ANR-IA">ANR-IA-19</idno>
            <idno type="stamp" n="ANR-IA">ANR-IA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">A formal toolchain for offline and run-time verification of robotic systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Silvano</forename>
                    <surname>Dal Zilio</surname>
                  </persName>
                  <email type="md5">65606046f227ab23f66da7331c2619fd</email>
                  <email type="domain">laas.fr</email>
                  <idno type="idhal" notation="string">dalzilio</idno>
                  <idno type="idhal" notation="numeric">3545</idno>
                  <idno type="halauthorid" notation="string">10476-3545</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6002-2696</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=pyT3QKYAAAAJ&amp;hl=en</idno>
                  <idno type="IDREF">https://www.idref.fr/123897912</idno>
                  <idno type="ARXIV">https://arxiv.org/a/dalzilio_s_1</idno>
                  <orgName ref="#struct-394916"/>
                  <affiliation ref="#struct-394916"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre-Emmanuel</forename>
                    <surname>Hladik</surname>
                  </persName>
                  <email type="md5">d9affad64d2e59c172bdd7ef65a1944d</email>
                  <email type="domain">ls2n.fr</email>
                  <idno type="idhal" notation="string">pehladik</idno>
                  <idno type="idhal" notation="numeric">177111</idno>
                  <idno type="halauthorid" notation="string">10841-177111</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5925-8856</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=RIsZVfIAAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/050322672</idno>
                  <orgName ref="#struct-394916"/>
                  <affiliation ref="#struct-1088564"/>
                  <affiliation ref="#struct-1088582"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Félix</forename>
                    <surname>Ingrand</surname>
                  </persName>
                  <email type="md5">59737ab01c1664fdb62031fbeba4110d</email>
                  <email type="domain">laas.fr</email>
                  <idno type="idhal" notation="string">felix-ingrand</idno>
                  <idno type="idhal" notation="numeric">3406</idno>
                  <idno type="halauthorid" notation="string">3937-3406</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2822-0905</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?hl=en&amp;user=hWexaY4AAAAJ</idno>
                  <idno type="IDREF">https://www.idref.fr/03265216X</idno>
                  <orgName ref="#struct-389081"/>
                  <affiliation ref="#struct-392741"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Anthony</forename>
                    <surname>Mallet</surname>
                  </persName>
                  <email type="md5">4abda0612e0f1a4b995e5d92a4681be7</email>
                  <email type="domain">laas.fr</email>
                  <idno type="idhal" notation="string">anthonymallet</idno>
                  <idno type="idhal" notation="numeric">18612</idno>
                  <idno type="halauthorid" notation="string">12848-18612</idno>
                  <idno type="IDREF">https://www.idref.fr/059706821</idno>
                  <orgName ref="#struct-399701"/>
                  <affiliation ref="#struct-399701"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">Rapport LAAS n° 22391</idno>
                <idno type="halJournalId" status="VALID">18730</idno>
                <idno type="issn">0921-8890</idno>
                <idno type="eissn">1872-793X</idno>
                <title level="j">Robotics and Autonomous Systems</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">159</biblScope>
                  <biblScope unit="pp">104301</biblScope>
                  <date type="datePub">2023-01</date>
                  <date type="dateEpub">2022-10-27</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.robot.2022.104301</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">UAV controller</term>
                <term xml:lang="en">runtime verification</term>
                <term xml:lang="en">model checking</term>
                <term xml:lang="en">formal verification</term>
                <term xml:lang="en">robotic software engineering</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-rb">Computer Science [cs]/Robotics [cs.RO]</classCode>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Validation and Verification (V&amp;amp;V) of autonomous robotic system software is becoming a critical issue. Among the V&amp;amp;V techniques at our disposal, formal approaches are among the most rigorous and trustworthy ones. Yet, the level of skills and knowledge required to use and deploy formal methods is usually quite high and rare. In this paper, we describe an approach that starts from a regular, but rigorous, framework to specify and deploy robotic software components, which can also automatically synthesize a formal model of these components.We describe how we can execute the resulting formal model, in place of a traditional imple- mentation, and show how this provides the opportunity to add powerful monitoring and runtime verification capabilities to a system, e.g., to prevent collisions, or trigger an emergency landing. Since the runtime used to execute formal models is specifically designed to be faithful to their se- mantics, every execution (in the implementation) can be mapped to a trace in the specification. As a result, we can also prove many interesting properties offline, using model-checking techniques. We give several examples, such as properties about schedulability, worst-case traversal time, or mutual exclusion.We believe that having a consistent workflow, from an initial specification of our system, down to a formal, executable specification is a major advance in robotics and opens the way for verification of functional components of autonomous robots and beyond. We illustrate this claim by describing a complete example based on a genuine drone flight controller.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-394916" status="OLD">
          <orgName>Équipe Verification de Systèmes Temporisés Critiques</orgName>
          <orgName type="acronym">LAAS-VERTICS</orgName>
          <date type="end">2024-08-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/vertics</ref>
          </desc>
          <listRelation>
            <relation active="#struct-459" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UPR8001" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1088564" status="VALID">
          <idno type="IdRef">203637585</idno>
          <idno type="RNSR">201722241F</idno>
          <idno type="ROR">https://ror.org/02snf8m58</idno>
          <orgName>Laboratoire des Sciences du Numérique de Nantes</orgName>
          <orgName type="acronym">LS2N</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>Nantes Université – faculté des Sciences et Techniques (FST)2 Chemin de la HoussinièreBP 92208, 44322 Nantes Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ls2n.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR6004" active="#struct-441569" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation active="#struct-1086798" type="direct"/>
            <relation active="#struct-1083366" type="indirect"/>
            <relation active="#struct-1088543" type="direct"/>
            <relation active="#struct-1083400" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-1088582" status="VALID">
          <orgName>STR</orgName>
          <orgName type="acronym">LS2N - équipe STR</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ls2n.fr/equipe/str/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1088564" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR6004" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation active="#struct-1086798" type="indirect"/>
            <relation active="#struct-1083366" type="indirect"/>
            <relation active="#struct-1088543" type="indirect"/>
            <relation active="#struct-1083400" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-392741" status="OLD">
          <orgName>Équipe Robotique et InteractionS</orgName>
          <orgName type="acronym">LAAS-RIS</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/ris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-459" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UPR8001" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-399701" status="OLD">
          <orgName>Service Informatique : Développement, Exploitation et Assistance</orgName>
          <orgName type="acronym">LAAS-IDEA</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/idea</ref>
          </desc>
          <listRelation>
            <relation active="#struct-459" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UPR8001" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-459" status="OLD">
          <idno type="IdRef">199278792</idno>
          <idno type="ISNI">0000 0001 2188 216X </idno>
          <idno type="RNSR">199517454Y</idno>
          <idno type="ROR">https://ror.org/03vcm6439</idno>
          <orgName>Laboratoire d'analyse et d'architecture des systèmes</orgName>
          <orgName type="acronym">LAAS</orgName>
          <date type="start">1968-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.laas.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UPR8001" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116255" status="VALID">
          <idno type="IdRef">026388766</idno>
          <idno type="ISNI">0000 0001 2286 8343</idno>
          <idno type="ROR">https://ror.org/01h8pf755</idno>
          <idno type="Wikidata">Q858979</idno>
          <orgName>Institut National des Sciences Appliquées - Toulouse</orgName>
          <orgName type="acronym">INSA Toulouse</orgName>
          <date type="start">1963-10-21</date>
          <desc>
            <address>
              <addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-toulouse.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-481355" status="VALID">
          <idno type="IdRef">202743233</idno>
          <idno type="ROR">https://ror.org/030hj3061</idno>
          <orgName>IMT Atlantique</orgName>
          <orgName type="acronym">IMT Atlantique</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes :  2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-atlantique.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1086798" status="VALID">
          <idno type="IdRef">03063525X</idno>
          <idno type="ISNI">0000000122039289</idno>
          <idno type="ROR">https://ror.org/03nh7d505</idno>
          <orgName>NANTES UNIVERSITÉ - École Centrale de Nantes</orgName>
          <orgName type="acronym">Nantes Univ - ECN</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1083366" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-1083366" status="VALID">
          <idno type="IdRef">258086599</idno>
          <idno type="ROR">https://ror.org/03gnr7b55</idno>
          <orgName>Nantes Université</orgName>
          <orgName type="acronym">Nantes Univ</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1088543" status="VALID">
          <orgName>Nantes université - UFR des Sciences et des Techniques</orgName>
          <orgName type="acronym">Nantes univ -  UFR ST</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sciences-techniques.univ-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1083400" type="direct"/>
            <relation active="#struct-1083366" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1083400" status="VALID">
          <orgName>Nantes Université - pôle Sciences et technologie</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://nouvelleuniversite.univ-nantes.fr/les-poles</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1083366" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-50372" status="VALID">
          <idno type="anr">ANR-19-P3IA-0004</idno>
          <orgName>ANITI</orgName>
          <desc>Artificial and Natural Intelligence Toulouse Institute</desc>
          <date type="start">2019</date>
        </org>
        <org type="europeanProject" xml:id="projeurop-716952" status="VALID">
          <idno type="number">101016442</idno>
          <idno type="program">H2020-ICT-2018-20</idno>
          <idno type="call">H2020-ICT-2020-2</idno>
          <orgName>AIPlan4EU</orgName>
          <desc>Bringing AI Planning to the European AI On-Demand Platform</desc>
          <date type="start">2021-01-01</date>
          <date type="end">2023-12-31</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>