Charles Lesire-Cabaniols

44
Documents

Publications

Publications

Deposit thumbnail

A formal framework for the specification and verification of robotic skills composition for autonomous behaviors

Baptiste Pelletier , Charles Lesire , Karen Godary-Dejean

Robotics and Autonomous Systems, 2025, 192, pp.105041. ⟨10.1016/j.robot.2025.105041⟩

Article dans une revue lirmm-05076522v1

Market Approaches to the Multi-Robot Task Allocation Problem: a Survey

Félix Quinton , Christophe Grand , Charles Lesire

Journal of Intelligent and Robotic Systems, 2023, 107 (2), pp.29. ⟨10.1007/s10846-022-01803-0⟩

Article dans une revue hal-04623745v1
Deposit thumbnail

Autonomous Decision-Making With Incomplete Information and Safety Rules Based on Non-Monotonic Reasoning

José-Luis Vilchis Medina , Karen Godary-Dejean , Charles Lesire

IEEE Robotics and Automation Letters, 2021, 6 (4), pp.8357-8362. ⟨10.1109/LRA.2021.3103048⟩

Article dans une revue lirmm-03475252v1
Deposit thumbnail

Hybrid planning and distributed iterative repair for multi-robot missions with communication losses

Patrick Bechon , Charles Lesire , Magali Barbieri

Autonomous Robots, 2019, 44, pp.505-531. ⟨10.1007/s10514-019-09869-w⟩

Article dans une revue hal-02912955v1
Deposit thumbnail

AMPLE: an anytime planning and execution framework for dynamic and uncertain problems in robotics

Caroline Ponzoni Carvalho Chanel , Alexandre Albore , Jorrit T’hooft , Charles Lesire , Florent Teichteil-Königsbuch

Autonomous Robots, 2018, 43 (1, 31), pp.37-62. ⟨10.1007/s10514-018-9703-z⟩

Article dans une revue hal-02901305v1

A distributed architecture for supervision of autonomous multi-robot missions

Charles Lesire Cabaniols , Guillaume Infantes , Thibault Gateau , Magali Barbier

Autonomous Robots, 2016, 40 (7), pp.1343-1362. ⟨10.1007/s10514-016-9603-z⟩

Article dans une revue hal-01385451v1

Comment faire coopérer des robots autonomes

Patrick Bechon , Magali Barbier , Charles Lesire-Cabaniols

La jaune et la rouge [revue mensuelle de la société amicale des anciens élèves de l'Ecole Polytechnique], 2016

Article dans une revue hal-01397689v1
Deposit thumbnail

Synthesis of plans or policies for controlling dynamic systems

G. Verfaillie , C. Pralet , F. Teichteil , G. Infantes , C. Lesire

Aerospace Lab, 2012, 4, p. 1-12

Article dans une revue hal-01183704v1
Deposit thumbnail

SkiNet: a User-Oriented Tool for Petri Net-based Analysis of Robotic Skills

Baptiste Pelletier , Charles Lesire , Karen Godary-Dejean

Petri Nets 2025 - 46th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2025, Paris, France

Communication dans un congrès hal-05072794v1
Deposit thumbnail

When Quality Matters: Constraint Programming for Automated Temporal and Numeric Planning

Roland Godet , Arthur Bit-Monnot , Charles Lesire-Cabaniols

International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2025, Athenes, Greece

Communication dans un congrès hal-05376434v1

Extension de CBBA par intercession d'offre pour favoriser l'initiative mixte

Victor Guillet , Charles Lesire , Gauthier Picard , Christophe Grand

Journées Francophones sur les Systèmes Multi-Agents (JFSMA-25), Jul 2025, Dijon, France

Communication dans un congrès hal-05120122v1
Deposit thumbnail

Extending Consensus-based Task Allocation Algorithms with Bid Intercession to Foster Mixed-Initiative

Victor Guillet , Christophe Grand , Charles Lesire , Gauthier Picard

24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-25), May 2025, Detroit (Michigan), United States. pp.932-940, ⟨10.5555/3709347.3743612⟩

Communication dans un congrès hal-05119482v1
Deposit thumbnail

Redundant Decompositions in PO HTN Domains: Goto Considered Harmful

Roland Godet , Arthur Bit-Monnot , Charles Lesire

ICAPS Hierarchical Planning Workshop (HPlan), Jun 2024, Banff, Canada

Communication dans un congrès hal-04609467v1
Deposit thumbnail

Multi-Robot Task Planning to Secure Human Group Progress

Roland Godet , Charles Lesire , Arthur Bit-Monnot

ECAI Agents and Robots for reliable Engineered Autonomy Workshop (AREA), Sep 2023, Cracovie, Poland. pp.113 - 126, ⟨10.4204/eptcs.391.13⟩

Communication dans un congrès hal-04500447v1

Improving the Connectivity of Multi-hop Communication Networks Through Auction-Based Multi-robot Task Allocation

Félix Quinton , Christophe Grand , Charles Lesire

PAAMS 2022, Jul 2022, L'Aquila, Italy. pp.345-357, ⟨10.1007/978-3-031-18192-4_28⟩

Communication dans un congrès hal-04701746v1
Deposit thumbnail

Learning Path Constraints for UAV Autonomous Navigation under Uncertain GNSS Availability

Marion Zaninotti , Charles Lesire , Yoko Watanabe , Caroline P.C. Chanel

17es Journées Francophone Planification, Décision et Apprentissage, Jun 2022, Saint-Etienne, France

Communication dans un congrès hal-03820049v1
Deposit thumbnail

Allocation par enchères et planification hiérarchique pour un système multirobot, application au cas de la chasse aux mines

Antoine Milot , Estelle Chauveau , Simon Lacroix , Charles Lesire Cabaniols

JFSMA 2022: 30èmes Journées Francophones sur les Systèmes Multi-Agents, Jun 2022, Saint-Etienne, France

Communication dans un congrès hal-03694348v1
Deposit thumbnail

Autonomous and responsive multi-robot system for minehunting

Antoine Milot , Estelle Chauveau , Simon Lacroix , Charles Lesire , Loïc Tacher

OCEANS Conference & Exposition (OCEANS 2022), Feb 2022, Chennai, India. ⟨10.1109/OCEANSChennai45887.2022.9775467⟩

Communication dans un congrès hal-03514510v1
Deposit thumbnail

SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems

Baptiste Pelletier , Charles Lesire , David Doose , Karen Godary-Dejean , Charles Dramé-Maigné

EPTCS 2022 - Electronic Proceedings in Theoretical Computer Science, Sep 2022, Berlin, Germany. pp.120-138, ⟨10.4204/eptcs.371.9⟩

Communication dans un congrès hal-04073365v1
Deposit thumbnail

A skill fault model for autonomous systems

Gabriela Medina , Jérémie Guiochet , Charles Lesire , Augustin Manecy

4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburgh, United States. ⟨10.1145/3526071.3527513⟩

Communication dans un congrès hal-03609377v2
Deposit thumbnail

pyHiPOP - Hierarchical Partial-Order Planner

Charles Lesire , Alexandre Albore

Workshop on the International Planning Competition, Aug 2021, Guangzhou, China

Communication dans un congrès hal-03478020v1
Deposit thumbnail

Market-based Multi-robot coordination with HTN planning

Antoine Milot , Estelle Chauveau , Simon Lacroix , Charles Lesire

Autonomous Robots and Multirobot Systems workshop (ARMS) 2021, May 2021, Montréal, Canada

Communication dans un congrès hal-03230342v1
Deposit thumbnail

Market-based Multi-robot coordination with HTN planning

Antoine Milot , Estelle Chauveau , Simon Lacroix , Charles Lesire

International Conference on Intelligent Robots and Systems (IROS 2021), Sep 2021, Prague, Czech Republic. pp.2606-2612, ⟨10.1109/IROS51168.2021.9636286⟩

Communication dans un congrès hal-03418176v1
Deposit thumbnail

Solving Hierarchical Auctions with HTN Planning

Antoine Milot , Estelle Chauveau , Simon Lacroix , Charles Lesire

4th ICAPS workshop on Hierarchical Planning (HPlan), Aug 2021, Guangzhou, China

Communication dans un congrès hal-03289854v2
Deposit thumbnail

Formalization of Robot Skills with Descriptive and Operational Models

Charles Lesire , David Doose , Christophe Grand

2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2020, Las Vegas, United States. pp.7227-7232, ⟨10.1109/IROS45743.2020.9340698⟩

Communication dans un congrès hal-03170357v1
Deposit thumbnail

A hierarchical fault tolerant architecture for an autonomous robot

Anthony Favier , Antonin Messioux , Jérémie Guiochet , Jean-Charles Fabre , Charles Lesire

6th Intern. Workshop on ​Safety and Security of Intelligent Vehicles (SSIV) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2020, Valence, Spain. ⟨10.1109/DSN-W50199.2020.00031⟩

Communication dans un congrès hal-02558604v1
Deposit thumbnail

An Autonomous Mission Controller for Earth Observing Satellites

Cédric Pralet , Charles Lesire , Jean Jaubert

IWPSS 2019, Jul 2019, Berkeley, United States

Communication dans un congrès hal-02355723v1
Deposit thumbnail

Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification

Charles Lesire , Stéphanie Roussel , David Doose , Christophe Grand

2019 International Conference on Robotics and Automation (ICRA), May 2019, Montréal, Canada. ⟨10.1109/ICRA.2019.8793754⟩

Communication dans un congrès hal-02913050v1

Solving Methods for Multi-Robot Missions Planning with Energy Capacity Consideration

Muhammad Khakim Habibi , Christophe Grand , Charles Lesire , Cédric Pralet

ICRA 2019, May 2019, Montréal, Canada. pp.4538-4544, ⟨10.1109/ICRA.2019.8793700⟩

Communication dans un congrès hal-02912969v1
Deposit thumbnail

Integrating planning and execution for a team of heterogeneous robots with time and communication constraints

Patrick Bechon , Magali Barbier , Christophe Grand , Simon Lacroix , Charles Lesire et al.

IEEE International Conference on Robotics and Automation (ICRA 2018), May 2018, Brisbane, Australia. 7p

Communication dans un congrès hal-01706146v1
Deposit thumbnail

Open Loop Execution of Tree-Search Algorithms

Erwan Lecarpentier , Guillaume Infantes , Charles Lesire , Emmanuel Rachelson

Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes 2018 (JFPDA 2018), Jul 2018, Nancy, France

Communication dans un congrès hal-01840583v1
Deposit thumbnail

ASPiC: an Acting system based on Skill Petri net Composition

Charles Lesire , Franck Pommereau

2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), Oct 2018, Madrid, Spain. pp.6952--6958, ⟨10.1109/IROS.2018.8594328⟩

Communication dans un congrès hal-01961211v1
Deposit thumbnail

Measurement-based real-time analysis of robotic software architectures

Nicolas Gobillot , Fabrice Guet , David Doose , Christophe Grand , Charles Lesire et al.

IROS 2016, Oct 2016, Daejeon, South Korea

Communication dans un congrès hal-01411373v1
Deposit thumbnail

Synthèse de plans d’exécution multi-agents robustes aux incertitudes et à l’absence de communications

G. Casanova , C. Pralet , C. Lesire Cabaniols , Thierry Vidal

JFSMA 2016, Oct 2016, Rouen, France

Communication dans un congrès hal-01383933v1
Deposit thumbnail

Proactive planning and execution strategies with multiple hypotheses

J. t'Hooft , C. Lesire Cabaniols , C.P. Carvalho Chanel

11th National Conference on “Software and Hardware Architectures for Robots Control” & Quatrièmes Journées Architectures Logicielles pour la Robotique Autonome, les Systèmes Cyber-Physiques et les Systèmes Auto-Adaptables (SHARC 2016), Jun 2016, Brest, France

Communication dans un congrès hal-01371760v1

Gestion des Réseaux Temporels Simples Multi-agents dynamiques

Guillaume Casanova , Charles Lesire , Cédric Pralet

23es Journées Francophones sur les Systèmes Multi-Agents (JFSMA'15), Jun 2015, Rennes, France. pp.123-132

Communication dans un congrès hal-01163025v1
Deposit thumbnail

Multi-Robot Planning and Execution for an Exploration Mission: a Case Study

G. Infantes , C. Lesire , C. Pralet

ICAPS 2014 PlanRob Workshop (Planning and Robotics), Jun 2014, Portsmouth, United States

Communication dans un congrès hal-01079780v1
Deposit thumbnail

Détection et reconnaissance de cibles en ligne pour des UAV autonomes avec un modèle de type POMDP

Caroline P. Carvalho Chanel , Florent Teichteil-Königsbuch , Charles Lesire

Journées Francophones sur la planification, la décision et l'apprentissage pour le contrôle des systèmes - JFPDA 2012, May 2012, Villers-lès-Nancy, France. 12 p

Communication dans un congrès hal-00736231v1
Deposit thumbnail

Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications.

Charles Lesire , David Doose , Hugues Cassé

7th full day Workshop on Software Development and Integration in Robotics (ICRA2012 - SDIR VII), May 2012, Saint Paul, United States

Communication dans un congrès hal-01060327v1
Deposit thumbnail

Simulating complex robotic scenarios with MORSE

Gilberto Echeverria , Séverin Lemaignan , Arnaud Degroote , Simon Lacroix , Michael Karg et al.

3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots, Nov 2012, Tsukuba, Japan. pp.197-208, ⟨10.1007/978-3-642-34327-8_20⟩

Communication dans un congrès hal-00988475v1
Deposit thumbnail

HiDDeN, une architecture décisionnelle distribuée pour la coopération de véhicules individuellement autonomes

Thibault Gateau , Charles Lesire , Barbier Magali

RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3

Communication dans un congrès hal-00656494v1
Deposit thumbnail

POMDP-based online target detection and recognition for autonomous UAVs

Caroline P. Carvalho Chanel , F. Teichteil-Königsbuch , C. Lesire

Seventh Conference on Prestigious Applications of Intelligent Systems (PAIS-12), Aug 2012, Montpellier, France

Communication dans un congrès hal-01060444v1
Deposit thumbnail

Validation of real-time properties of a robotic software architecture

Charles Lesire , David Doose , Hugues Cassé

6th National Conference on Control Architectures of Robots, INRIA Grenoble Rhône-Alpes, May 2011, Grenoble, France. 7 p

Communication dans un congrès inria-00599689v1
Deposit thumbnail

Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches

Yasmina Abdeddaim , Eugene Asarin , Matthieu Gallien , Félix Ingrand , Charles Lesire et al.

International Conference on Automated Planning and Scheduling, Sep 2007, Providence, Rhode Island, United States. pp.2-9

Communication dans un congrès hal-00157935v1