Félix Ingrand

Orcid: 0000-0003-2822-0905

Affiliations:
  • LAAS, Toulouse, France


According to our database1, Félix Ingrand authored at least 52 papers between 1989 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A formal toolchain for offline and run-time verification of robotic systems.
Robotics Auton. Syst., 2023

2022
Composing Complex and Hybrid AI Solutions.
CoRR, 2022

2021
Hippo: A formal-model execution engine to control and verify critical real-time systems.
J. Syst. Softw., 2021

2020
FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning.
CoRR, 2020

Runtime Verification of Timed Properties in Autonomous Robots.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

2019
Statistical Model Checking of Complex Robotic Systems.
Proceedings of the Model Checking Software - 26th International Symposium, 2019

Recent Trends in Formal Validation and Verification of Autonomous Robots Software.
Proceedings of the 3rd IEEE International Conference on Robotic Computing, 2019

2018
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis.
CoRR, 2018

Formal verification of complex robotic systems on resource-constrained platforms.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017
Deliberation for autonomous robots: A survey.
Artif. Intell., 2017

Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016
Which Contingent Events to Observe for the Dynamic Controllability of a Plan.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.
Proceedings of the Formal Methods and Software Engineering, 2016

Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level.
Proceedings of the 12th European Dependable Computing Conference, 2016

2015
A Verifiable and Correct-by-Construction Controller for Robots in Human Environments.
Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, 2015

2014
Robotics and artificial intelligence: A perspective on deliberation functions.
AI Commun., 2014

Planning and Acting with Temporal and Hierarchical Decomposition Models.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

2013
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels.
CoRR, 2013

2012
Rigorous design of robot software: A formal component-based approach.
Robotics Auton. Syst., 2012

A cooperative architecture for target localization using multiple AUVs.
Intell. Serv. Robotics, 2012

Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

2011
Learning the behavior model of a robot.
Auton. Robots, 2011

A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems.
Proceedings of the Software Composition - 10th International Conference, 2011

2010
GenoM3: Building middleware-independent robotic components.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

2009
Designing autonomous robots.
IEEE Robotics Autom. Mag., 2009

2008
Incremental Component-Based Construction and Verification of a Robotic System.
Proceedings of the ECAI 2008, 2008

2007
Decisional autonomy of planetary rovers.
J. Field Robotics, 2007

Fault Tolerant Planning for Critical Robots.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Planning with Diversified Models for Fault-Tolerant Robots.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2006
Learning Behaviors Models for Robot Execution Control.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2004
Dependable execution control for autonomous robots.
Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28, 2004

Model-based executive control through reactive planning for autonomous rovers.
Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28, 2004

Robel: Synthesizing and Conrolling Complex Robust Robot Behaviors.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Interleaving Temporal Planning and Execution in Robotics Domains.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2002
An Execution Control System for Autonomous Robots.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

2001
Extending Procedural Reasoning toward Robot Actions Planning.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

An architecture for dependable autonomous robots.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

2000
Diligent: towards a human-friendly navigation system.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2000

Around the Lab in 40 Days.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

1999
Propice-Plan: Toward a Unified Framework for Planning and Execution.
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

1998
Multi-robot cooperation in the MARTHA project.
IEEE Robotics Autom. Mag., 1998

An Architecture for Autonomy.
Int. J. Robotics Res., 1998

A Scheme for Coordinating Multi-robots Planning Activities and Plans Execution.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997
How to solve deadlock situations within the plan-merging paradigm for multi-robot cooperation.
Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97, 1997

Operating a large fleet of mobile robots using the plan-merging paradigm.
Proceedings of the 1997 IEEE International Conference on Robotics and Automation, 1997

1996
PRS: a high level supervision and control language for autonomous mobile robots.
Proceedings of the 1996 IEEE International Conference on Robotics and Automation, 1996

1995
A General Framework For Multi-Robot Cooperation and Its Implementation on a Set of Three Hilare Robots.
Proceedings of the Experimental Robotics IV, The 4th International Symposium, Stanford, California, USA, June 30, 1995

Ten autonomous mobile robots (and even more) in a route network like environment.
Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, 1995

Multi-Robot Cooperation through Incremental Plan-Merging.
Proceedings of the 1995 International Conference on Robotics and Automation, 1995

1992
An architecture for Real-Time Reasoning and System Control.
IEEE Expert, 1992

1989
Decision-Making in an Embedded Reasoning System.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989


  Loading...