2025

Journal articles

Virgile de la Rochefoucauld, Photchara Ratsamee, Simon Lacroix, Félix Ingrand, Yuki Uranishi. A Modular Execution Architecture for Robust Multi-Robot Planning and Acting in Trans-Media Environments. IEEE Access, In press, ⟨10.1109/ACCESS.2025.3625646⟩. ⟨hal-05244656v2⟩

Preprints, Working Papers, ...

Félix Ingrand. A formal implementation of Behavior Trees to act in robotics. 2025. ⟨hal-04954024v2⟩

2024

Journal articles

Andrea Micheli, Arthur Bit-Monnot, Gabriele Röger, Enrico Scala, Alessandro Valentini, et al.. Unified Planning: Modeling, manipulating and solving AI planning problems in Python. SoftwareX, 2024, 29, pp.102012. ⟨10.1016/j.softx.2024.102012⟩. ⟨hal-04850710⟩

@softwareversion

Félix Ingrand. BT2Fiacre (Behavior Tree 2 Fiacre). 2024. ⟨hal-04720141⟩

Preprints, Working Papers, ...

Félix Ingrand. ProSkill: A formal skill language for acting in robotics. 2024. ⟨hal-04502274⟩

2023

Journal articles

Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet. A formal toolchain for offline and run-time verification of robotic systems. Robotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩. ⟨hal-03683044v2⟩

Conference papers

Selvakumar Hastham Sathiya Satchi Sadanandam, Sebastian Stock, Alexander Sung, Félix Ingrand, Oscar Lima, et al.. A Closed-Loop Framework-Independent Bridge from AIPlan4EU's Unified Planning Platform to Embedded Systems. 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023) PlanRob Workshop, Jul 2023, Prague, Czech Republic. ⟨hal-04131316⟩

Jérémy Turi, Arthur Bit-Monnot, Félix Ingrand. Enhancing Operational Deliberation in a Refinement Acting Engine with Continuous Planning. Integrated Acting, Planning and Execution (IntEx), ICAPS'23 Workshop, Jul 2023, Prague, Czech Republic. ⟨hal-04107355⟩

@softwareversion

Félix Ingrand. ProSkill. 2023. ⟨hal-04738223⟩

2022

Preprints, Working Papers, ...

Peter Schüller, João Paulo Costeira, James L. Crowley, Jasmin Grosinger, Félix Ingrand, et al.. Composing Complex and Hybrid AI Solutions. 2022. ⟨hal-03590739⟩

2021

Journal articles

Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal Zilio, Reyyan Tekin. Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems. Journal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩. ⟨hal-03017661v4⟩

Book sections

Félix Ingrand. Verification of Autonomous Robots: A Roboticist’s Bottom-Up Approach. Software engineering for robotics, Springer, pp.219-248, 2021, 978-3-030-66493-0. ⟨10.1007/978-3-030-66494-7_8⟩. ⟨hal-02927311v3⟩

2020

Journal articles

Frederic Dehais, Félix Ingrand, Claire Pagetti, Romaric Redon, Florent Teichteil-Königsbuch. L'IA transporte dans le futur. Le petit illustré, regards croisés de chercheur.es, 2020, pp.40-43. ⟨hal-03463284⟩

Conference papers

Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand. Runtime Verification of Timed Properties in Autonomous Robots. 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), ACM/IEEE, Dec 2020, Jaipur (virtual), India. ⟨10.1109/MEMOCODE51338.2020.9315156⟩. ⟨hal-03093298⟩

@softwareversion

Félix Ingrand. GenoM3 Fiacre Template. 2020. ⟨hal-04751289⟩

Preprints, Working Papers, ...

Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand, David E Smith. FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning. 2020. ⟨hal-02987044⟩

2019

Book sections

Félix Ingrand, Malik Ghallab. Robotics and Artificial Intelligence.. Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Springer, 813p., 2019, ⟨10.1007/978-3-030-06164-7⟩. ⟨hal-01994685⟩

Conference papers

Mohammed Foughali, Félix Ingrand, Cristina Seceleanu. Statistical Model Checking of Complex Robotic Systems. 26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China. ⟨hal-02152286⟩

Félix Ingrand. Recent Trends in Formal Validation and Verification of Autonomous Robots Software. IEEE International Conference on Robotic Computing, Feb 2019, Naples, Italy. ⟨hal-01968265⟩

Reports

Mohammed Foughali, Silvano Dal Zilio, Félix Ingrand. On the Semantics of the GenoM3 Framework. 2019. ⟨hal-01992470⟩

2018

Conference papers

Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, et al.. Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms. FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨hal-01778960⟩

2017

Journal articles

Félix Ingrand, Malik Ghallab. Deliberation for autonomous robots: A survey. Artificial Intelligence (AIJ), 2017, 247 pp.10-44. ⟨10.1016/j.artint.2014.11.003⟩. ⟨hal-01137921⟩

Conference papers

Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand. Can robot navigation bugs be found in simulation? An exploratory study. 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Jul 2017, Prague, Czech Republic. 10p. ⟨hal-01534235⟩

Preprints, Working Papers, ...

Mohammed Foughali, Félix Ingrand, Anthony Mallet. GenoM3 Templates: from Middleware Independence to Formal Models Synthesis . 2017. ⟨hal-01457881v2⟩

2016

Journal articles

Malik Ghallab, Félix Ingrand. An Overview of Problems and Approaches in Machine Intelligence. Frontiers in Science and Engineering (international journal), 2016, 6 (1), pp.115-156. ⟨hal-01566201⟩

Conference papers

Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet. Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. 18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. ⟨hal-01346080⟩

Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck. Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level. 12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden. ⟨hal-01328909⟩

Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand. Which Contingent Events to Observe for the Dynamic Controllability of a Plan. International Joint Conference on Artificial Intelligence (IJCAI-16), Jul 2016, New York, NY, United States. ⟨hal-01310844v2⟩

2015

Conference papers

Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem. A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. Proceeding HRI'15 Extended Abstracts Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction Extended Abstracts, Mar 2015, Portland, United States. ⟨hal-01955184⟩

Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck. Test de la navigation de systèmes autonomes dans des mondes virtuels. Control Architectures of Robots ( CAR ), Jun 2015, Lyon, France. ⟨hal-01282148⟩

Reports

Benjamin Lussier, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell. Fault tolerant planning: towards dependable autonomous robots. [Research Report] Rapport LAAS n° 16046, LAAS-CNRS. 2015. ⟨hal-01271568⟩