2024

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

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⟩

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⟩

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.: Volume I: Knowledge Representation, Reasoning and Learning. 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

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⟩

Autres documents

Mohammed Foughali, Silvano Dal Zilio, Félix Ingrand. On the Semantics of the GenoM3 Framework. Rapport LAAS n° 19036. 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

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⟩

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⟩

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⟩

2014

Articles dans une revue

Félix Ingrand, Malik Ghallab. Robotics and Artificial Intelligence: a Perspective on Deliberation Functions. AI Communications, 2014, 27 (1), pp.63-80. ⟨10.3233/AIC-130578⟩. ⟨hal-01138117⟩

Chapitres d’ouvrages

Malik Ghallab, Félix Ingrand. Intelligence artificielle et robotique. Pierre Marquis; Odile Papini; Henri Prade. Panorama de l'Intelligence Artificielle - Ses bases méthodologiques, ses développements, Cépuadès, 2014, 9782364930438. ⟨hal-01994678⟩

Communications dans un congrès

Filip Dvorak, Arthur Bit-Monnot, Félix Ingrand, Malik Ghallab. Plan-Space Hierarchical Planning with the Action Notation Modeling Language. IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2014, Limassol, Cyprus. ⟨hal-01138105⟩

Filip Dvorak, Arthur Bit-Monnot, Félix Ingrand, Malik Ghallab. A Flexible ANML Actor and Planner in Robotics. Planning and Robotics (PlanRob) Workshop (ICAPS), Jun 2014, Portsmouth, United States. ⟨hal-01138111⟩