Félix Ingrand

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 15

Top Topics

Temporal Planning

Hierarchical Decomposition

Autonomous Robots

Top Venues

Publications

Félix Ingrand
PROSKILL: A formal skill language for acting in robotics. CoRR (2024)
Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
A formal toolchain for offline and run-time verification of robotic systems. Robotics Auton. Syst. 159 (2023)
Peter Schüller, João Paolo Costeira, James Crowley, Jasmin Grosinger, Félix Ingrand, Uwe Köckemann, Alessandro Saffiotti, Martin Welss
Composing Complex and Hybrid AI Solutions. CoRR (2022)
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. J. Syst. Softw. 181 (2021)
Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand
Runtime Verification of Timed Properties in Autonomous Robots. MEMOCODE (2020)
Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand, David E. Smith
FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning. CoRR (2020)
Félix Ingrand
Recent Trends in Formal Validation and Verification of Autonomous Robots Software. IRC (2019)
Mohammed Foughali, Félix Ingrand, Cristina Seceleanu
Statistical Model Checking of Complex Robotic Systems. SPIN (2019)
Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
Formal verification of complex robotic systems on resource-constrained platforms. FormaliSE@ICSE (2018)
Mohammed Foughali, Félix Ingrand, Anthony Mallet
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis. CoRR (2018)
Félix Ingrand, Malik Ghallab
Deliberation for autonomous robots: A survey. Artif. Intell. 247 (2017)
Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand
Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study. QRS (2017)
Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. ICFEM (2016)
Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand
Which Contingent Events to Observe for the Dynamic Controllability of a Plan. IJCAI (2016)
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. EDCC (2016)
Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem
A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. HRI (Extended Abstracts) (2015)
Félix Ingrand, Malik Ghallab
Robotics and artificial intelligence: A perspective on deliberation functions. AI Commun. 27 (1) (2014)
Filip Dvorak, Roman Barták, Arthur Bit-Monnot, Félix Ingrand, Malik Ghallab
Planning and Acting with Temporal and Hierarchical Decomposition Models. ICTAI (2014)
Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. CoRR (2013)
Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand
Rigorous design of robot software: A formal component-based approach. Robotics Auton. Syst. 60 (12) (2012)
Assia Belbachir, Félix Ingrand, Simon Lacroix
A cooperative architecture for target localization using multiple AUVs. Intell. Serv. Robotics 5 (2) (2012)
David Powell, Jean Arlat, Hoang Nam Chu, Félix Ingrand, Marc-Olivier Killijian
Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems. EDCC (2012)
Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. SC@TOOLS (2011)
Guillaume Infantes, Malik Ghallab, Félix Ingrand
Learning the behavior model of a robot. Auton. Robots 30 (2) (2011)
Saddek Bensalem, Matthieu Gallien, Félix Ingrand, Imen Kahloul, Thanh-Hung Nguyen
Designing autonomous robots. IEEE Robotics Autom. Mag. 16 (1) (2009)
Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis
Incremental Component-Based Construction and Verification of a Robotic System. ECAI (2008)
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
Planning with Diversified Models for Fault-Tolerant Robots. ICAPS (2007)
Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. ICAPS (2007)
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
Fault Tolerant Planning for Critical Robots. DSN (2007)
Félix Ingrand, Simon Lacroix, Solange Lemai-Chenevier, Frederic Py
Decisional autonomy of planetary rovers. J. Field Robotics 24 (7) (2007)
Guillaume Infantes, Félix Ingrand, Malik Ghallab
Learning Behaviors Models for Robot Execution Control. ICAPS (2006)
Guillaume Infantes, Félix Ingrand, Malik Ghallab
Learning Behaviors Models for Robot Execution Control. ECAI (2006)
Benoit Morisset, Guillaume Infantes, Malik Ghallab, Félix Ingrand
Robel: Synthesizing and Conrolling Complex Robust Robot Behaviors. ECAI (2004)
Alberto Finzi, Félix Ingrand, Nicola Muscettola
Model-based executive control through reactive planning for autonomous rovers. IROS (2004)
Solange Lemai, Félix Ingrand
Interleaving Temporal Planning and Execution in Robotics Domains. AAAI (2004)
Frédéric Py, Félix Ingrand
Dependable execution control for autonomous robots. IROS (2004)
Félix Ingrand, Raja Chatila, Rachid Alami
An architecture for dependable autonomous robots. ETFA (2) (2001)
Rachid Alami, Igor Belousov, Sara Fleury, Matthieu Herrb, Félix Ingrand, Javier Minguez, Benoit Morisset
Diligent: towards a human-friendly navigation system. IROS (2000)
Rachid Alami, Sara Fleury, Matthieu Herrb, Félix Ingrand, Frédéric Robert
Multi-robot cooperation in the MARTHA project. IEEE Robotics Autom. Mag. 5 (1) (1998)
Rachid Alami, Raja Chatila, Sara Fleury, Malik Ghallab, Félix Ingrand
An Architecture for Autonomy. Int. J. Robotics Res. 17 (4) (1998)
Samer Qutub, Rachid Alami, Félix Ingrand
How to solve deadlock situations within the plan-merging paradigm for multi-robot cooperation. IROS (1997)
Rachid Alami, Sara Fleury, Matthieu Herrb, Félix Ingrand, Samer Qutub
Operating a large fleet of mobile robots using the plan-merging paradigm. ICRA (1997)
Rachid Alami, Frédéric Robert, Félix Ingrand, Sho'ji Suzuki
Multi-Robot Cooperation through Incremental Plan-Merging. ICRA (1995)
Luis E. Aguilar, Rachid Alami, Sara Fleury, Matthieu Herrb, Félix Ingrand, Frédéric Robert
Ten autonomous mobile robots (and even more) in a route network like environment. IROS (2) (1995)