 
    Felix Ingrand
                                    70 
                                    
                            Documents
                                Publications
Publications
|  | A formal implementation of Behavior Trees to act in robotics2025Pré-publication, Document de travail
                    
        
        
            
                
                    hal-04954024
                                            v2 | 
|  | ProSkill: A formal skill language for acting in robotics2024Pré-publication, Document de travail
                    
        
        
            
                
                    hal-04502274
                                            v1 | 
|  | Composing Complex and Hybrid AI Solutions2022Pré-publication, Document de travail
                    
        
        
            
                
                    hal-03590739
                                            v1 | 
|  | FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning2020Pré-publication, Document de travail
                    
        
        
            
                
                    hal-02987044
                                            v1 | 
|  | GenoM3 Templates: from Middleware Independence to Formal Models Synthesis2017Pré-publication, Document de travail
                    
        
        
            
                
                    hal-01457881
                                            v2 | 
|  | BT2Fiacre (Behavior Tree 2 Fiacre)2024Logiciel
                    
        
        
            
                
                    hal-04720141
                                            v1 | 
|  | ProSkill2023Logiciel
                    
        
        
            
                
                    hal-04738223
                                            v1 | 
|  | GenoM3 Fiacre Template2020Logiciel
                    
        
        
            
                
                    hal-04751289
                                            v1 | 
|  | GenoMLogiciel hal-05034457 v1 | 
|  | TransGen3Logiciel hal-04750087 v1 | 
|  | GenoM3 OpenPRS TemplateLogiciel hal-04750041 v1 | 
| OpenPRS1991Logiciel
                    
        
        
            
                
                    hal-04739326
                                            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 RepublicCommunication dans un congrès
                    
        
        
            
                
                    hal-04131316
                                            v1 | 
|  | Enhancing Operational Deliberation in a Refinement Acting Engine with Continuous PlanningIntegrated Acting, Planning and Execution (IntEx), ICAPS'23 Workshop, Jul 2023, Prague, Czech RepublicCommunication dans un congrès
                    
        
        
            
                
                    hal-04107355
                                            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, ItalyCommunication 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, ChinaCommunication 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, SwedenCommunication 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. 10pCommunication 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 StatesCommunication 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, JapanCommunication 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, SwedenCommunication 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, FranceCommunication 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 StatesCommunication dans un congrès
                    
        
        
            
                
                    hal-01955184
                                            v1 | |
|  | A Flexible ANML Actor and Planner in RoboticsPlanning and Robotics (PlanRob) Workshop (ICAPS), Jun 2014, Portsmouth, United StatesCommunication 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, CyprusCommunication 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-3Communication dans un congrès
                    
        
        
            
                
                    hal-00656532
                                            v1 | 
|  | 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⟩Communication dans un congrès
                    
        
        
            
                
                    hal-05050736
                                            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-9Communication 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-223Communication 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, JapanCommunication dans un congrès
                    
        
        
            
                
                    hal-01292930
                                            v1 | 
|  | Real-Time Execution Control for Autonomous Systems2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, FranceCommunication dans un congrès
                    
        
        
            
                
                    hal-02271201
                                            v1 | 
|  | Software Safety Supervision On-board Autonomous Spacecraft2nd Embedded Real Time Software Congress (ERTS'04), Jan 2004, Toulouse, FranceCommunication dans un congrès
                    
        
        
            
                
                    hal-02271033
                                            v1 | 
|  | Dependability Issues in a Robot Control ArchitectureOct 2002, pp.PP23Communication 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, JapanCommunication 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 KingdomCommunication 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 StatesCommunication 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 StatesCommunication 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, FranceCommunication 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 StatesCommunication 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 StatesCommunication 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, JapanCommunication dans un congrès
                    
        
        
            
                
                    hal-01979392
                                            v1 | 
|  | Mission Planning and Execution Control for Intervention RobotsUndersea Robotics and Intelligent Control Workshop, 1995, Lisbon, PortugalCommunication 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 StatesCommunication dans un congrès
                    
        
        
            
                
                    hal-01979386
                                            v1 | 
|  | Procedural Reasoning versus Blackboard Architecture for Real-Time ReasoningThirteenth International Conference on Artificial Intelligence, 1993, Avignon, FranceCommunication 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 StatesCommunication dans un congrès
                    
        
        
            
                
                    hal-01981607
                                            v1 | 
|  | Decision-Making in an Embedded Reasoning SystemInternational Joint Conference on Artificial Intelligence, 1989, Detroit, United StatesCommunication 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 StatesCommunication 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, 9782364930438Chapitre 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 SciencesChapitre d'ouvrage
                    
        
        
            
                
                    hal-01979405
                                            v1 | 
|  | On the Semantics of the GenoM3 Framework2019Rapport
                             (rapport technique)
                    
        
        
            
                
                    hal-01992470
                                            v1 | 
|  | Fault tolerant planning: towards dependable autonomous robots[Research Report] Rapport LAAS n° 16046, LAAS-CNRS. 2015Rapport
                             (rapport de recherche)
                    
        
        
            
                
                    hal-01271568
                                            v1 | 
                Chargement...
            
            Chargement...