Felix Ingrand
Publications
Publications
|
|
A formal implementation of Behavior Trees to act in robotics2025 |
|
|
ProSkill: A formal skill language for acting in robotics2024 |
|
|
Composing Complex and Hybrid AI Solutions2022 |
|
|
FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning2020 |
|
|
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis2017 |
|
|
BT2Fiacre (Behavior Tree 2 Fiacre)2024 |
|
|
ProSkill2023 |
|
|
GenoM3 Fiacre Template2020 |
|
|
GenoMLogiciel hal-05034457v1 |
|
|
TransGen3Logiciel hal-04750087v1 |
|
|
GenoM3 OpenPRS TemplateLogiciel hal-04750041v1 |
OpenPRS1991 |
|
|
Enhancing Operational Deliberation in a Refinement Acting Engine with Continuous PlanningIntegrated Acting, Planning and Execution (IntEx), ICAPS'23 Workshop, Jul 2023, Prague, Czech Republic |
|
|
A Closed-Loop Framework-Independent Bridge from AIPlan4EU's Unified Planning Platform to Embedded Systems33rd International Conference on Automated Planning and Scheduling (ICAPS 2023) PlanRob Workshop, Jul 2023, Prague, Czech Republic |
|
|
Runtime Verification of Timed Properties in Autonomous Robots18th 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⟩ |
|
|
Statistical Model Checking of Complex Robotic Systems26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China |
|
|
Recent Trends in Formal Validation and Verification of Autonomous Robots SoftwareIEEE International Conference on Robotic Computing, Feb 2019, Naples, Italy |
|
|
Formal Verification of Complex Robotic Systems on Resource-Constrained PlatformsFormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden |
|
|
Can robot navigation bugs be found in simulation? An exploratory study2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Jul 2017, Prague, Czech Republic. 10p |
|
|
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan |
|
|
Which Contingent Events to Observe for the Dynamic Controllability of a PlanInternational Joint Conference on Artificial Intelligence (IJCAI-16), Jul 2016, New York, NY, United States |
|
|
Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden |
A Verifiable and Correct-by-Construction Controller for Robots in Human EnvironmentsProceeding HRI'15 Extended Abstracts Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction Extended Abstracts, Mar 2015, Portland, United States |
|
|
|
Test de la navigation de systèmes autonomes dans des mondes virtuelsControl Architectures of Robots ( CAR ), Jun 2015, Lyon, France |
|
|
Plan-Space Hierarchical Planning with the Action Notation Modeling LanguageIEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2014, Limassol, Cyprus |
|
|
A Flexible ANML Actor and Planner in RoboticsPlanning and Robotics (PlanRob) Workshop (ICAPS), Jun 2014, Portsmouth, United States |
|
|
Planification d'une mission d'observation par allocation de tâches hiérarchiques pour une équipe de robots hétérogènesRFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3 |
|
|
GenoM3: Building middleware-independent robotic components2010 IEEE International Conference on Robotics and Automation (ICRA 2010), May 2010, Anchorage, France. pp.4627-4632, ⟨10.1109/ROBOT.2010.5509539⟩ |
|
|
Planning Robust Temporal Plans A Comparison Between CBTP and TGA ApproachesInternational Conference on Automated Planning and Scheduling, Sep 2007, Providence, Rhode Island, United States. pp.2-9 |
|
|
Fault Tolerant Planning for Critical RobotsDSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Jun 2007, Edimbourg, United Kingdom. ⟨10.1109/DSN.2007.50⟩ |
|
|
Planning with Diversified Models for Fault-Tolerant RobotsThe International Conference on Automated Planning and Scheduling (ICAPS), Sep 2007, Providence, RI, United States. pp.216-223 |
|
|
Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challengesIROS'06 Workshop on Physical Human-Robot Interaction in Anthropic Domains, Oct 2006, Beijing, China. ⟨10.1109/IROS.2006.6936985⟩ |
|
|
Fault Tolerance in Autonomous Systems: How and How Much?4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), 2005, Nagoya, Japan |
|
|
Software Safety Supervision On-board Autonomous Spacecraft2nd Embedded Real Time Software Congress (ERTS'04), Jan 2004, Toulouse, France |
|
|
Real-Time Execution Control for Autonomous Systems2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France |
|
|
Dependability Issues in a Robot Control ArchitectureOct 2002, pp.PP23 |
|
|
Diligent: towards a human-friendly navigation systemIEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000), Oct 2000, Takamatsu, Japan |
|
|
A Scheme for Coordinating Multi-robot Planning Activities and Plans Execution13th European Conference on Artificial Intelligence (ECAI), Aug 1998, Brighton, United Kingdom |
|
|
Operating a large fleet of mobile robots using the plan-merging paradigmIEEE International Conference on Robotics and Automation, Apr 1997, Albuquerque, United States |
|
|
Planning Coordination and Execution in Multi-robots Environment8th International Conference on Advanced Robotics. Proceedings. ICAR'97, Jul 1997, Monterey, United States |
|
|
How to solve deadlock situations within the plan-merging paradigm for multi-robot cooperationIEEE/RSJ International Conference on Intelligent Robot and Systems. (IROS), Nov 1997, Grenoble, France |
|
|
PRS: a high level supervision and control language for autonomous mobile robotsEEE International Conference on Robotics and Automation, 1996, Minneapolis, United States |
|
|
Multi-Robot Cooperation through Incremental Plan-MergingProceedings of 1995 IEEE International Conference on Robotics and Automation, May 1995, Nagoya, Japan |
|
|
Ten autonomous mobile robots (and even more) in a route network like environmentProceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Sep 1995, Pittsburgh, United States |
|
|
Mission Planning and Execution Control for Intervention RobotsUndersea Robotics and Intelligent Control Workshop, 1995, Lisbon, Portugal |
|
|
A paradigm for plan-merging and its use for multi-robot cooperationIEEE International Conference on Systems, Man and Cybernetics, Oct 1994, San Antonio, United States |
|
|
Procedural Reasoning versus Blackboard Architecture for Real-Time ReasoningThirteenth International Conference on Artificial Intelligence, 1993, Avignon, France |
|
|
Managing Deliberation and Reasoning in Real-Time AI SystemsDARPA Workshop on Innovative Approaches to Planning, 1990, San Diego (CA), United States |
|
|
Monitoring and Control of Spacecraft Systems Using Procedural ReasoningSpace Operations-Automation and Robotics Workshop, 1989, Houston (TX), United States |
|
|
Decision-Making in an Embedded Reasoning SystemInternational Joint Conference on Artificial Intelligence, 1989, Detroit, United States |
|
|
Verification of Autonomous Robots: A Roboticist’s Bottom-Up ApproachSoftware engineering for robotics, Springer, pp.219-248, 2021, 978-3-030-66493-0. ⟨10.1007/978-3-030-66494-7_8⟩ |
|
|
Robotics and Artificial Intelligence.Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Springer, 813p., 2019, ⟨10.1007/978-3-030-06164-7⟩ |
Intelligence artificielle et robotiquePierre Marquis; Odile Papini; Henri Prade. Panorama de l'Intelligence Artificielle - Ses bases méthodologiques, ses développements, Cépuadès, 2014, 9782364930438 |
|
|
|
A general framework for multi-robot cooperation and its implementation on a set of three Hilare robotsin: Khatib O., Salisbury J.K. (eds) Experimental Robotics IV., 223, Springer-Verlag, pp.26-39, 2005, Lecture Notes in Control and Information Sciences |
|
|
On the Semantics of the GenoM3 Framework2019 |
|
|
Fault tolerant planning: towards dependable autonomous robots[Research Report] Rapport LAAS n° 16046, LAAS-CNRS. 2015 |