Charles Lesire-Cabaniols

Publications

Article dans une revue (8)

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
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
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
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
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

Communication dans un congrès (36)

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Integrating planning and execution for a team of heterogeneous robots with time and communication constraints Patrick Bechon,Magali Barbier,Christophe Grand,Simon Lacroix,Charles Lesireet al. IEEE International Conference on Robotics and Automation (ICRA 2018), May 2018, Brisbane, Australia. 7p Communication dans un congrès hal-01706146v1
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
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
Measurement-based real-time analysis of robotic software architectures Nicolas Gobillot,Fabrice Guet,David Doose,Christophe Grand,Charles Lesireet al. IROS 2016, Oct 2016, Daejeon, South Korea Communication dans un congrès hal-01411373v1
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
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
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
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
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
Simulating complex robotic scenarios with MORSE Gilberto Echeverria,Séverin Lemaignan,Arnaud Degroote,Simon Lacroix,Michael Karget 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
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
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
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
Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches Yasmina Abdeddaim,Eugene Asarin,Matthieu Gallien,Félix Ingrand,Charles Lesireet 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