Félix Ingrand

48 papers A* 7A 9B 1C 3Misc 2Journal 19Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Modular Execution Architecture for Robust Multi-Robot Planning and Acting in Trans-Media Environments. IEEE Access Virgile De La Rochefoucauld, Photchara Ratsamee, Simon Lacroix, Félix Ingrand, Yuki Uranishi
2025	J	`jnl`	A formal implementation of Behavior Trees to act in robotics. CoRR Félix Ingrand
2025	J	`jnl`	Unified Planning: Modeling, manipulating and solving AI planning problems in Python. SoftwareX Andrea Micheli, Arthur Bit-Monnot, Gabriele Röger, Enrico Scala, Alessandro Valentini, Luca Framba, Alberto Rovetta, Alessandro Trapasso, Luigi Bonassi, Alfonso Emilio Gerevini, Luca Iocchi, Félix Ingrand, Uwe Köckemann, Fabio Patrizi, Alessandro Saetti, Ivan Serina, Sebastian Stock
2024	J	`jnl`	PROSKILL: A formal skill language for acting in robotics. CoRR Félix Ingrand
2023	J	`jnl`	A formal toolchain for offline and run-time verification of robotic systems. Robotics Auton. Syst. Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
2022	J	`jnl`	Composing Complex and Hybrid AI Solutions. CoRR Peter Schüller, João Paolo Costeira, James Crowley, Jasmin Grosinger, Félix Ingrand, Uwe Köckemann, Alessandro Saffiotti, Martin Welss
2021	J	`jnl`	Hippo: A formal-model execution engine to control and verify critical real-time systems. J. Syst. Softw. Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal-Zilio, Reyyan Tekin
2020	J	`jnl`	FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning. CoRR Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand, David E. Smith
2020	—	`ch.`	Robotics and Artificial Intelligence. A Guided Tour of Artificial Intelligence Research (3) (III) Malik Ghallab, Félix Ingrand
2020	C	`conf`	Runtime Verification of Timed Properties in Autonomous Robots. MEMOCODE Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand
2019	—	`conf`	Recent Trends in Formal Validation and Verification of Autonomous Robots Software. IRC Félix Ingrand
2019	—	`conf`	Statistical Model Checking of Complex Robotic Systems. SPIN Mohammed Foughali, Félix Ingrand, Cristina Seceleanu
2018	—	`conf`	Formal verification of complex robotic systems on resource-constrained platforms. FormaliSE@ICSE Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
2018	J	`jnl`	GenoM3 Templates: from Middleware Independence to Formal Models Synthesis. CoRR Mohammed Foughali, Félix Ingrand, Anthony Mallet
2017	C	`conf`	Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study. QRS Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand
2017	J	`jnl`	Deliberation for autonomous robots: A survey. Artif. Intell. Félix Ingrand, Malik Ghallab
2016	C	`conf`	Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. ICFEM Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet
2016	Misc	`conf`	Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level. EDCC Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck
2016	A*	`conf`	Which Contingent Events to Observe for the Dynamic Controllability of a Plan. IJCAI Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand
2015	—	`conf`	A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. HRI (Extended Abstracts) Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem
2014	B	`conf`	Planning and Acting with Temporal and Hierarchical Decomposition Models. ICTAI Filip Dvorák, Roman Barták, Arthur Bit-Monnot, Félix Ingrand, Malik Ghallab
2014	J	`jnl`	Robotics and artificial intelligence: A perspective on deliberation functions. AI Commun. Félix Ingrand, Malik Ghallab
2013	J	`jnl`	A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. CoRR Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan
2012	J	`jnl`	A cooperative architecture for target localization using multiple AUVs. Intell. Serv. Robotics Assia Belbachir, Félix Ingrand, Simon Lacroix
2012	J	`jnl`	Rigorous design of robot software: A formal component-based approach. Robotics Auton. Syst. Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand
2012	Misc	`conf`	Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems. EDCC David Powell, Jean Arlat, Hoang Nam Chu, Félix Ingrand, Marc-Olivier Killijian
2011	A	`conf`	A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. SC Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan
2011	J	`jnl`	Learning the behavior model of a robot. Auton. Robots Guillaume Infantes, Malik Ghallab, Félix Ingrand
2009	J	`jnl`	Designing autonomous robots. IEEE Robotics Autom. Mag. Saddek Bensalem, Matthieu Gallien, Félix Ingrand, Imen Kahloul, Thanh-Hung Nguyen
2008	A	`conf`	Incremental Component-Based Construction and Verification of a Robotic System. ECAI Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis
2007	J	`jnl`	Decisional autonomy of planetary rovers. J. Field Robotics Félix Ingrand, Simon Lacroix, Solange Lemai-Chenevier, Frederic Py
2007	A	`conf`	Fault Tolerant Planning for Critical Robots. DSN Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
2007	A*	`conf`	Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. ICAPS Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu
2007	A*	`conf`	Planning with Diversified Models for Fault-Tolerant Robots. ICAPS Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
2006	A*	`conf`	Learning Behaviors Models for Robot Execution Control. ICAPS Guillaume Infantes, Félix Ingrand, Malik Ghallab
2006	A	`conf`	Learning Behaviors Models for Robot Execution Control. ECAI Guillaume Infantes, Félix Ingrand, Malik Ghallab
2004	A	`conf`	Dependable execution control for autonomous robots. IROS Frédéric Py, Félix Ingrand
2004	A*	`conf`	Interleaving Temporal Planning and Execution in Robotics Domains. AAAI Solange Lemai, Félix Ingrand
2004	A	`conf`	Model-based executive control through reactive planning for autonomous rovers. IROS Alberto Finzi, Félix Ingrand, Nicola Muscettola
2004	A	`conf`	Robel: Synthesizing and Conrolling Complex Robust Robot Behaviors. ECAI Benoit Morisset, Guillaume Infantes, Malik Ghallab, Félix Ingrand
2001	—	`conf`	An architecture for dependable autonomous robots. ETFA (2) Félix Ingrand, Raja Chatila, Rachid Alami
2000	A	`conf`	Diligent: towards a human-friendly navigation system. IROS Rachid Alami, Igor Belousov, Sara Fleury, Matthieu Herrb, Félix Ingrand, Javier Minguez, Benoit Morisset
1998	J	`jnl`	An Architecture for Autonomy. Int. J. Robotics Res. Rachid Alami, Raja Chatila, Sara Fleury, Malik Ghallab, Félix Ingrand
1998	J	`jnl`	Multi-robot cooperation in the MARTHA project. IEEE Robotics Autom. Mag. Rachid Alami, Sara Fleury, Matthieu Herrb, Félix Ingrand, Frédéric Robert
1997	A	`conf`	How to solve deadlock situations within the plan-merging paradigm for multi-robot cooperation. IROS Samer Qutub, Rachid Alami, Félix Ingrand
1997	A*	`conf`	Operating a large fleet of mobile robots using the plan-merging paradigm. ICRA Rachid Alami, Sara Fleury, Matthieu Herrb, Félix Ingrand, Samer Qutub
1995	A*	`conf`	Multi-Robot Cooperation through Incremental Plan-Merging. ICRA Rachid Alami, Frédéric Robert, Félix Ingrand, Sho'ji Suzuki
1995	—	`conf`	Ten autonomous mobile robots (and even more) in a route network like environment. IROS (2) Luis E. Aguilar, Rachid Alami, Sara Fleury, Matthieu Herrb, Félix Ingrand, Frédéric Robert