
Felix Ingrand
68
Documents
Publications
Publications
|
A formal implementation of Behavior Trees to act in robotics2025
Pré-publication, Document de travail
hal-04954024
v2
|
|
ProSkill: A formal skill language for acting in robotics2024
Pré-publication, Document de travail
hal-04502274
v1
|
|
Composing Complex and Hybrid AI Solutions2022
Pré-publication, Document de travail
hal-03590739
v1
|
|
FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning2020
Pré-publication, Document de travail
hal-02987044
v1
|
|
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis2017
Pré-publication, Document de travail
hal-01457881
v2
|
|
BT2Fiacre (Behavior Tree 2 Fiacre)2024
Logiciel
hal-04720141
v1
|
|
ProSkill2023
Logiciel
hal-04738223
v1
|
|
GenoM3 Fiacre Template2020
Logiciel
hal-04751289
v1
|
|
GenoMLogiciel hal-05034457 v1 |
|
TransGen3Logiciel hal-04750087 v1 |
|
GenoM3 OpenPRS TemplateLogiciel hal-04750041 v1 |
OpenPRS1991
Logiciel
hal-04739326
v1
|
|
Enhancing Operational Deliberation in a Refinement Acting Engine with Continuous PlanningIntegrated Acting, Planning and Execution (IntEx), ICAPS'23 Workshop, Jul 2023, Prague, Czech Republic
Communication dans un congrès
hal-04107355
v1
|
|
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
Communication dans un congrès
hal-04131316
v1
|
|
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⟩
Communication dans un congrès
hal-03093298
v1
|
|
Recent Trends in Formal Validation and Verification of Autonomous Robots SoftwareIEEE International Conference on Robotic Computing, Feb 2019, Naples, Italy
Communication dans un congrès
hal-01968265
v1
|
|
Statistical Model Checking of Complex Robotic Systems26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China
Communication dans un congrès
hal-02152286
v1
|
|
Formal Verification of Complex Robotic Systems on Resource-Constrained PlatformsFormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
Communication dans un congrès
hal-01778960
v1
|
|
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
Communication dans un congrès
hal-01534235
v1
|
|
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
Communication dans un congrès
hal-01310844
v2
|
|
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
Communication dans un congrès
hal-01346080
v1
|
|
Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden
Communication dans un congrès
hal-01328909
v1
|
|
Test de la navigation de systèmes autonomes dans des mondes virtuelsControl Architectures of Robots ( CAR ), Jun 2015, Lyon, France
Communication dans un congrès
hal-01282148
v1
|
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
Communication dans un congrès
hal-01955184
v1
|
|
|
A Flexible ANML Actor and Planner in RoboticsPlanning and Robotics (PlanRob) Workshop (ICAPS), Jun 2014, Portsmouth, United States
Communication dans un congrès
hal-01138111
v1
|
|
Plan-Space Hierarchical Planning with the Action Notation Modeling LanguageIEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2014, Limassol, Cyprus
Communication dans un congrès
hal-01138105
v1
|
|
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
Communication dans un congrès
hal-00656532
v1
|
|
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
Communication dans un congrès
hal-00157935
v1
|
|
Fault Tolerant Planning for Critical Robots DSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Jun 2007, Edimbourg, United Kingdom. ⟨10.1109/DSN.2007.50⟩
Communication dans un congrès
hal-01292653
v1
|
|
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
Communication dans un congrès
hal-01292650
v1
|
|
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⟩
Communication dans un congrès
hal-01295366
v1
|
|
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
Communication dans un congrès
hal-01292930
v1
|
|
Real-Time Execution Control for Autonomous Systems2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France
Communication dans un congrès
hal-02271201
v1
|
|
Software Safety Supervision On-board Autonomous Spacecraft2nd Embedded Real Time Software Congress (ERTS'04), Jan 2004, Toulouse, France
Communication dans un congrès
hal-02271033
v1
|
|
Dependability Issues in a Robot Control ArchitectureOct 2002, pp.PP23
Communication dans un congrès
hal-00131261
v1
|
|
Diligent: towards a human-friendly navigation systemIEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000), Oct 2000, Takamatsu, Japan
Communication dans un congrès
hal-01976177
v1
|
|
A Scheme for Coordinating Multi-robot Planning Activities and Plans Execution13th European Conference on Artificial Intelligence (ECAI), Aug 1998, Brighton, United Kingdom
Communication dans un congrès
hal-01979716
v1
|
|
Planning Coordination and Execution in Multi-robots Environment8th International Conference on Advanced Robotics. Proceedings. ICAR'97, Jul 1997, Monterey, United States
Communication dans un congrès
hal-01979706
v1
|
|
Operating a large fleet of mobile robots using the plan-merging paradigmIEEE International Conference on Robotics and Automation, Apr 1997, Albuquerque, United States
Communication dans un congrès
hal-01979708
v1
|
|
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
Communication dans un congrès
hal-01979710
v1
|
|
PRS: a high level supervision and control language for autonomous mobile robotsEEE International Conference on Robotics and Automation, 1996, Minneapolis, United States
Communication dans un congrès
hal-01972550
v1
|
|
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
Communication dans un congrès
hal-01979400
v1
|
|
Multi-Robot Cooperation through Incremental Plan-MergingProceedings of 1995 IEEE International Conference on Robotics and Automation, May 1995, Nagoya, Japan
Communication dans un congrès
hal-01979392
v1
|
|
Mission Planning and Execution Control for Intervention RobotsUndersea Robotics and Intelligent Control Workshop, 1995, Lisbon, Portugal
Communication dans un congrès
hal-01981902
v1
|
|
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
Communication dans un congrès
hal-01979386
v1
|
|
Procedural Reasoning versus Blackboard Architecture for Real-Time ReasoningThirteenth International Conference on Artificial Intelligence, 1993, Avignon, France
Communication dans un congrès
hal-01981890
v1
|
|
Managing Deliberation and Reasoning in Real-Time AI SystemsDARPA Workshop on Innovative Approaches to Planning, 1990, San Diego (CA), United States
Communication dans un congrès
hal-01981607
v1
|
|
Decision-Making in an Embedded Reasoning SystemInternational Joint Conference on Artificial Intelligence, 1989, Detroit, United States
Communication dans un congrès
hal-01980071
v1
|
|
Monitoring and Control of Spacecraft Systems Using Procedural ReasoningSpace Operations-Automation and Robotics Workshop, 1989, Houston (TX), United States
Communication dans un congrès
hal-01981584
v1
|
|
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⟩
Chapitre d'ouvrage
hal-02927311
v3
|
|
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⟩
Chapitre d'ouvrage
hal-01994685
v1
|
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
Chapitre d'ouvrage
hal-01994678
v1
|
|
|
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
Chapitre d'ouvrage
hal-01979405
v1
|
|
On the Semantics of the GenoM3 Framework2019
Rapport
(rapport technique)
hal-01992470
v1
|
|
Fault tolerant planning: towards dependable autonomous robots[Research Report] Rapport LAAS n° 16046, LAAS-CNRS. 2015
Rapport
(rapport de recherche)
hal-01271568
v1
|
Chargement...
Chargement...