2025
Pré-publications, documents de travail
Félix Ingrand. A formal implementation of Behavior Trees to act in robotics. 2025. ⟨hal-04954024v2⟩
2024
Articles dans une revue
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⟩
Pré-publications, documents de travail
Félix Ingrand. ProSkill: A formal skill language for acting in robotics. 2024. ⟨hal-04502274⟩
2023
Articles dans une revue
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⟩
Communications dans un congrès
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⟩
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⟩
@softwareversion
Félix Ingrand. ProSkill. 2023. ⟨hal-04738223⟩
2022
Pré-publications, documents de travail
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
Articles dans une revue
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⟩
Chapitres d’ouvrages
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
Articles dans une revue
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⟩
Communications dans un congrès
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⟩
Pré-publications, documents de travail
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
Chapitres d’ouvrages
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⟩
Communications dans un congrès
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⟩
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⟩
Rapports
Mohammed Foughali, Silvano Dal Zilio, Félix Ingrand. On the Semantics of the GenoM3 Framework. 2019. ⟨hal-01992470⟩
2018
Communications dans un congrès
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
Articles dans une revue
Félix Ingrand, Malik Ghallab. Deliberation for autonomous robots: A survey. Artificial Intelligence, 2017, 247 pp.10-44. ⟨10.1016/j.artint.2014.11.003⟩. ⟨hal-01137921⟩
Communications dans un congrès
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⟩
Pré-publications, documents de travail
Mohammed Foughali, Félix Ingrand, Anthony Mallet. GenoM3 Templates: from Middleware Independence to Formal Models Synthesis . 2017. ⟨hal-01457881v2⟩
2016
Articles dans une revue
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⟩
Communications dans un congrès
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⟩
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⟩
2015
Communications dans un congrès
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⟩
Rapports
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⟩
