2024
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⟩
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⟩
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.: 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⟩
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⟩
Other documents
Mohammed Foughali, Silvano Dal Zilio, Félix Ingrand. On the Semantics of the GenoM3 Framework. Rapport LAAS n° 19036. 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, 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
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
Conference papers
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⟩
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⟩
2014
Journal articles
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⟩
Book sections
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⟩
Conference papers
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⟩
