Decision-Making in an Embedded Reasoning System. - Michael P. Georgeff; François Felix Ingrand (IJCAI, 1989)

An architecture for Real-Time Reasoning and System Control. - François Felix Ingrand; Michael P. Georgeff; Anand S. Rao (IEEE Expert, 1992)

Multi-Robot Cooperation through Incremental Plan-Merging. - Rachid Alami 001; Frédéric Robert; Félix Ingrand; Sho'ji Suzuki (ICRA, 1995)

Ten autonomous mobile robots (and even more) in a route network like environment. - Luis E. Aguilar; Rachid Alami 001; Sara Fleury; Matthieu Herrb; Félix Ingrand; Frédéric Robert (IROS (2), 1995)

A General Framework For Multi-Robot Cooperation and Its Implementation on a Set of Three Hilare Robots. - Rachid Alami 001; Luis E. Aguilar; H. Bullata; Sara Fleury; Matthieu Herrb; François Felix Ingrand; Maher Khatib; Frédéric Robert (ISER, 1995)

PRS: a high level supervision and control language for autonomous mobile robots. - François Felix Ingrand; Raja Chatila 001; Rachid Alami 001; Frédéric Robert (ICRA, 1996)

Operating a large fleet of mobile robots using the plan-merging paradigm. - Rachid Alami 001; Sara Fleury; Matthieu Herrb; Félix Ingrand; Samer Qutub (ICRA, 1997)

How to solve deadlock situations within the plan-merging paradigm for multi-robot cooperation. - Samer Qutub; Rachid Alami 001; Félix Ingrand (IROS, 1997)

A Scheme for Coordinating Multi-robots Planning Activities and Plans Execution. - Rachid Alami 001; François Felix Ingrand; Samer Qutub (ECAI, 1998)

An Architecture for Autonomy. - Rachid Alami 001; Raja Chatila 001; Sara Fleury; Malik Ghallab; Félix Ingrand (Int. J. Robotics Res., 1998)

Multi-robot cooperation in the MARTHA project. - Rachid Alami 001; Sara Fleury; Matthieu Herrb; Félix Ingrand; Frédéric Robert (IEEE Robotics Autom. Mag., 1998)

Propice-Plan: Toward a Unified Framework for Planning and Execution. - Olivier Despouys; François Felix Ingrand (ECP, 1999)

Around the Lab in 40 Days. - Rachid Alami 001; Raja Chatila 001; Sara Fleury; Matthieu Herrb; François Felix Ingrand; Maher Khatib; Benoit Morisset; Philippe Moutarlier; Thierry Siméon (ICRA, 2000)

Diligent: towards a human-friendly navigation system. - Rachid Alami 001; Igor Belousov; Sara Fleury; Matthieu Herrb; Félix Ingrand; Javier Minguez; Benoit Morisset (IROS, 2000)

An architecture for dependable autonomous robots. - Félix Ingrand; Raja Chatila 001; Rachid Alami 001 (ETFA (2), 2001)

Extending Procedural Reasoning toward Robot Actions Planning. - François Felix Ingrand; Olivier Despouys (ICRA, 2001)

An Execution Control System for Autonomous Robots. - François Felix Ingrand; Frederic Py (ICRA, 2002)

Interleaving Temporal Planning and Execution in Robotics Domains. - Solange Lemai; Félix Ingrand (AAAI, 2004)

Robel: Synthesizing and Conrolling Complex Robust Robot Behaviors. - Benoit Morisset; Guillaume Infantes; Malik Ghallab; Félix Ingrand (ECAI, 2004)

Model-based executive control through reactive planning for autonomous rovers. - Alberto Finzi; Félix Ingrand; Nicola Muscettola (IROS, 2004)

Dependable execution control for autonomous robots. - Frédéric Py; Félix Ingrand (IROS, 2004)

Learning Behaviors Models for Robot Execution Control. - Guillaume Infantes; Félix Ingrand; Malik Ghallab (ECAI, 2006)

Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. - Yasmina Abdeddaïm; Eugene Asarin; Matthieu Gallien; Félix Ingrand; Charles Lesire; Mihaela Sighireanu (ICAPS, 2007)

Planning with Diversified Models for Fault-Tolerant Robots. - Benjamin Lussier; Matthieu Gallien; Jérémie Guiochet; Félix Ingrand; Marc-Olivier Killijian; David Powell (ICAPS, 2007)

Fault Tolerant Planning for Critical Robots. - Benjamin Lussier; Matthieu Gallien; Jérémie Guiochet; Félix Ingrand; Marc-Olivier Killijian; David Powell (DSN, 2007)

Decisional autonomy of planetary rovers. - Félix Ingrand; Simon Lacroix; Solange Lemai-Chenevier; Frederic Py (J. Field Robotics, 2007)

Incremental Component-Based Construction and Verification of a Robotic System. - Ananda Basu; Matthieu Gallien; Charles Lesire; Thanh-Hung Nguyen; Saddek Bensalem; Félix Ingrand; Joseph Sifakis (ECAI, 2008)

Designing autonomous robots. - Saddek Bensalem; Matthieu Gallien; Félix Ingrand; Imen Kahloul; Thanh-Hung Nguyen (IEEE Robotics Autom. Mag., 2009)

GenoM3: Building middleware-independent robotic components. - Anthony Mallet; Cédric Pasteur; Matthieu Herrb; Séverin Lemaignan; François Felix Ingrand (ICRA, 2010)

A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. - Saddek Bensalem; Lavindra de Silva; Andreas Griesmayer; Félix Ingrand; Axel Legay; Rongjie Yan (SC@TOOLS, 2011)

Learning the behavior model of a robot. - Guillaume Infantes; Malik Ghallab; Félix Ingrand (Auton. Robots, 2011)

Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems. - David Powell; Jean Arlat; Hoang Nam Chu; Félix Ingrand; Marc-Olivier Killijian (EDCC, 2012)

A cooperative architecture for target localization using multiple AUVs. - Assia Belbachir; Félix Ingrand; Simon Lacroix (Intell. Serv. Robotics, 2012)

Rigorous design of robot software: A formal component-based approach. - Tesnim Abdellatif; Saddek Bensalem; Jacques Combaz; Lavindra de Silva; Félix Ingrand (Robotics Auton. Syst., 2012)

A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. - Saddek Bensalem; Lavindra de Silva; Félix Ingrand; Rongjie Yan (CoRR, 2013)

Planning and Acting with Temporal and Hierarchical Decomposition Models. - Filip Dvorák; Roman Barták; Arthur Bit-Monnot; Félix Ingrand; Malik Ghallab (ICTAI, 2014)

Robotics and artificial intelligence: A perspective on deliberation functions. - Félix Ingrand; Malik Ghallab (AI Commun., 2014)

A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. - Lavindra de Silva; Rongjie Yan; Félix Ingrand; Rachid Alami 001; Saddek Bensalem (HRI (Extended Abstracts), 2015)

Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level. - Thierry Sotiropoulos; Jérémie Guiochet; Félix Ingrand; Hélène Waeselynck (EDCC, 2016)

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. - Mohammed Foughali; Bernard Berthomieu; Silvano Dal-Zilio; Félix Ingrand; Anthony Mallet (ICFEM, 2016)

Which Contingent Events to Observe for the Dynamic Controllability of a Plan. - Arthur Bit-Monnot; Malik Ghallab; Félix Ingrand (IJCAI, 2016)

Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study. - Thierry Sotiropoulos; Hélène Waeselynck; Jérémie Guiochet; Félix Ingrand (QRS, 2017)

Deliberation for autonomous robots: A survey. - Félix Ingrand; Malik Ghallab (Artif. Intell., 2017)

Formal verification of complex robotic systems on resource-constrained platforms. - Mohammed Foughali; Bernard Berthomieu; Silvano Dal-Zilio; Pierre-Emmanuel Hladik; Félix Ingrand; Anthony Mallet (FormaliSE@ICSE, 2018)

GenoM3 Templates: from Middleware Independence to Formal Models Synthesis. - Mohammed Foughali; Félix Ingrand; Anthony Mallet (CoRR, 2018)

Recent Trends in Formal Validation and Verification of Autonomous Robots Software. - Félix Ingrand (IRC, 2019)

Statistical Model Checking of Complex Robotic Systems. - Mohammed Foughali; Félix Ingrand; Cristina Seceleanu (SPIN, 2019)

Robotics and Artificial Intelligence. - Malik Ghallab; Félix Ingrand (A Guided Tour of Artificial Intelligence Research (3) (III), 2020)

Runtime Verification of Timed Properties in Autonomous Robots. - Mohammed Foughali; Saddek Bensalem; Jacques Combaz; Félix Ingrand (MEMOCODE, 2020)

FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning. - Arthur Bit-Monnot; Malik Ghallab; Félix Ingrand; David E. Smith 001 (CoRR, 2020)

Hippo: A formal-model execution engine to control and verify critical real-time systems. - Pierre-Emmanuel Hladik; Félix Ingrand; Silvano Dal-Zilio; Reyyan Tekin (J. Syst. Softw., 2021)

Composing Complex and Hybrid AI Solutions. - Peter Schüller; João Paolo Costeira; James Crowley; Jasmin Grosinger 001; Félix Ingrand; Uwe Köckemann; Alessandro Saffiotti; Martin Welss (CoRR, 2022)

A formal toolchain for offline and run-time verification of robotic systems. - Silvano Dal-Zilio; Pierre-Emmanuel Hladik; Félix Ingrand; Anthony Mallet (Robotics Auton. Syst., 2023)

PROSKILL: A formal skill language for acting in robotics. - Félix Ingrand (CoRR, 2024)

Unified Planning: Modeling, manipulating and solving AI planning problems in Python. - Andrea Micheli; Arthur Bit-Monnot; Gabriele Röger; Enrico Scala; Alessandro Valentini 001; Luca Framba; Alberto Rovetta; Alessandro Trapasso; Luigi Bonassi; Alfonso Emilio Gerevini; Luca Iocchi; Félix Ingrand; et al. (SoftwareX, 2025)

A formal implementation of Behavior Trees to act in robotics. - Félix Ingrand (CoRR, 2025)