Charles Lesire

63 papers A* 9A 15B 1C 1Misc 1Journal 11Unranked 25

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A formal framework for the specification and verification of robotic skills composition for autonomous behaviors. Robotics Auton. Syst. Baptiste Pelletier, Charles Lesire, Karen Godary-Dejean
2025	A	`conf`	Extending Consensus-based Task Allocation Algorithms with Bid Intercession to Foster Mixed-Initiative. AAMAS Victor Guillet, Charles Lesire, Gauthier Picard, Christophe Grand
2025	—	`conf`	Extension de CBBA par intercession d'offre pour favoriser l'initiative mixte. JFSMA Victor Guillet, Christophe Grand, Charles Lesire, Gauthier Picard
2025	B	`conf`	SkiNet: A User-Oriented Tool for Petri Net-Based Analysis of Robotic Skills. Petri Nets Baptiste Pelletier, Charles Lesire, Karen Godary-Dejean
2024	—	`conf`	Bid Intercession to Unlock Human Control in Decentralized Consensus-Based Multi-robot Task Allocation Algorithms. AREA Victor Guillet, Christophe Grand, Charles Lesire, Gauthier Picard
2024	—	`conf`	Extended Abstract: Skill-Based Architectures in Autonomous Systems: Lessons Learnt. PhD@IFM Pierre Malafosse, Alexandre Albore, Jérémie Guiochet, Charles Lesire
2024	—	`conf`	Intercession d'enchères pour plus d'initiative mixte dans les algorithmes décentralisés d'allocation de tâches multi-robots basés sur le consensus. JFSMA Victor Guillet, Christophe Grand, Charles Lesire, Gauthier Picard
2024	A	`conf`	Multi-Agent Path Finding with Task Assignment and Supporting Constraints. ECAI Caroline Bonhomme, Christophe Grand, Charles Lesire, Jean-Louis Dufour, Christophe Guettier
2023	J	`jnl`	Enchères pour le Maintien des Communications lors de l'Allocation de Tâches pour des Missions Multi-robots. Rev. Ouverte Intell. Artif. Félix Quinton, Christophe Grand, Charles Lesire
2023	J	`jnl`	Market Approaches to the Multi-Robot Task Allocation Problem: a Survey. J. Intell. Robotic Syst. Félix Quinton, Christophe Grand, Charles Lesire
2023	—	`conf`	Multi-Robot Task Planning to Secure Human Group Progress. AREA@ECAI Roland Godet, Charles Lesire, Arthur Bit-Monnot
2023	A*	`conf`	Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets. ICRA Baptiste Pelletier, Charles Lesire, Christophe Grand, David Doose, Mathieu Rognant
2023	J	`jnl`	Skill-based design of dependable robotic architectures. Robotics Auton. Syst. Alexandre Albore, David Doose, Christophe Grand, Jérémie Guiochet, Charles Lesire, Augustin Manecy
2022	A	`conf`	A Hierarchical Deliberative Architecture Framework based on Goal Decomposition. IROS Charles Lesire, Rafael Bailon-Ruiz, Magali Barbier, Christophe Grand
2022	—	`conf`	A skill fault model for autonomous systems. RoSE@ICSE Gabriela Catalán Medina, Jérémie Guiochet, Charles Lesire, Augustin Manecy
2022	—	`conf`	Allocation par enchères et planification hiérarchique pour un système multirobot, application au cas de la chasse aux mines sous-marines. JFSMA Antoine Milot, Estelle Chauveau, Simon Lacroix, Charles Lesire
2022	A	`conf`	Communication-Preserving Bids in Market-Based Task Allocation. IROS Felix Quinton, Christophe Grand, Charles Lesire
2022	Misc	`conf`	Improving the Connectivity of Multi-hop Communication Networks Through Auction-Based Multi-robot Task Allocation. PAAMS Félix Quinton, Christophe Grand, Charles Lesire
2022	—	`conf`	Learning Path Constraints for UAV Autonomous Navigation Under Uncertain GNSS Availability. PAIS@ECAI Marion Zaninotti, Charles Lesire, Yoko Watanabe, Caroline P. C. Chanel
2022	—	`conf`	SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems. FMAS/ASYDE@SEFM Baptiste Pelletier, Charles Lesire, David Doose, Karen Godary-Dejean, Charles Dramé-Maigné
2021	J	`jnl`	Autonomous Decision-Making With Incomplete Information and Safety Rules Based on Non-Monotonic Reasoning. IEEE Robotics Autom. Lett. José Luis Vilchis Medina, Karen Godary-Dejean, Charles Lesire
2021	—	`conf`	Enchères pour le Maintien des Communications lors de l'Allocation de Tâches. JFSMA Felix Quinton, Christophe Grand, Charles Lesire
2021	A	`conf`	Market-based Multi-robot coordination with HTN planning. IROS Antoine Milot, Estelle Chauveau, Simon Lacroix, Charles Lesire
2021	—	`conf`	Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management. RoSE@ICSE Alexandre Albore, David Doose, Christophe Grand, Charles Lesire, Augustin Manecy
2020	—	`conf`	A hierarchical fault tolerant architecture for an autonomous robot. DSN Workshops Anthony Favier, Antonin Messioux, Jérémie Guiochet, Jean-Charles Fabre, Charles Lesire
2020	A	`conf`	Formalization of Robot Skills with Descriptive and Operational Models. IROS Charles Lesire, David Doose, Christophe Grand
2020	J	`jnl`	Hybrid planning and distributed iterative repair for multi-robot missions with communication losses. Auton. Robots Patrick Bechon, Charles Lesire, Magali Barbier
2019	J	`jnl`	A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems. J. Intell. Robotic Syst. Nicolas Gobillot, Charles Lesire, David Doose
2019	J	`jnl`	AMPLE: an anytime planning and execution framework for dynamic and uncertain problems in robotics. Auton. Robots Caroline Ponzoni Carvalho Chanel, Alexandre Albore, Jorrit T'Hooft, Charles Lesire, Florent Teichteil-Königsbuch
2019	A*	`conf`	Solving Methods for Multi-Robot Missions Planning with Energy Capacity Consideration. ICRA Muhammad Khakim Habibi, Christophe Grand, Charles Lesire, Cédric Pralet
2019	A*	`conf`	Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification. ICRA Charles Lesire, Stéphanie Roussel, David Doose, Christophe Grand
2018	A	`conf`	ASPiC: An Acting System Based on Skill Petri Net Composition. IROS Charles Lesire, Franck Pommereau
2018	A*	`conf`	Integrating Planning and Execution for a Team of Heterogeneous Robots with Time and Communication Constraints. ICRA Patrick Bechon, Magali Barbier, Christophe Grand, Simon Lacroix, Charles Lesire, Cédric Pralet
2018	A*	`conf`	Open Loop Execution of Tree-Search Algorithms. IJCAI Erwan Lecarpentier, Guillaume Infantes, Charles Lesire, Emmanuel Rachelson
2018	—	`conf`	Open Loop Execution of Tree-Search Algorithms. JFPDA Erwan Lecarpentier, Guillaume Infantes, Charles Lesire, Emmanuel Rachelson
2018	J	`jnl`	Open Loop Execution of Tree-Search Algorithms. CoRR Erwan Lecarpentier, Guillaume Infantes, Charles Lesire, Emmanuel Rachelson
2017	—	`conf`	MAUVE Runtime: A Component-Based Middleware to Reconfigure Software Architectures in Real-Time. IRC David Doose, Christophe Grand, Charles Lesire
2016	J	`jnl`	A distributed architecture for supervision of autonomous multi-robot missions - Application to air-sea scenarios. Auton. Robots Charles Lesire, Guillaume Infantes, Thibault Gateau, Magali Barbier
2016	J	`jnl`	Gestion des réseaux temporels simples multi-agents dynamiques. Rev. d'Intelligence Artif. Guillaume Casanova, Charles Lesire, Cédric Pralet
2016	A	`conf`	Measurement-based real-time analysis of robotic software architectures. IROS Nicolas Gobillot, Fabrice Guet, David Doose, Christophe Grand, Charles Lesire, Luca Santinelli
2016	—	`conf`	Online Proactive Planning with Multiple Hypotheses. STAIRS Jorrit T'Hooft, Charles Lesire, Caroline Ponzoni Carvalho Chanel
2016	A	`conf`	Solving Dynamic Controllability Problem of Multi-Agent Plans with Uncertainty Using Mixed Integer Linear Programming. ECAI Guillaume Casanova, Cédric Pralet, Charles Lesire, Thierry Vidal
2016	—	`conf`	Synthèse de plans d'exécution multi-agents robustes aux incertitudes et à l'absence de communications (présentation courte). JFSMA Guillaume Casanova, Cédric Pralet, Charles Lesire, Thierry Vidal
2015	—	`conf`	Gestion des réseaux temporels simples multi-agents dynamiques. JFSMA Guillaume Casanova, Charles Lesire, Cédric Pralet
2015	A	`conf`	Managing Dynamic Multi-Agent Simple Temporal Network. AAMAS Guillaume Casanova, Cédric Pralet, Charles Lesire
2015	C	`conf`	Periodic state-machine aware real-time analysis. ETFA Nicolas Gobillot, David Doose, Charles Lesire, Luca Santinelli
2015	—	`conf`	Using hybrid planning for plan reparation. ECMR Patrick Bechon, Magali Barbier, Charles Lesire, Guillaume Infantes, Vincent Vidal
2014	—	`conf`	A Modeling Framework for Software Architecture Specification and Validation. SIMPAR Nicolas Gobillot, Charles Lesire, David Doose
2014	A*	`conf`	A Robotic Execution Framework for Online Probabilistic (Re)Planning. ICAPS Caroline Ponzoni Carvalho Chanel, Charles Lesire, Florent Teichteil-Königsbuch
2014	A	`conf`	Deployment of Mobile Wireless Sensor Networks for Crisis Management: A Constraint-Based Local Search Approach. CP Cédric Pralet, Charles Lesire
2014	—	`conf`	HiPOP: Hierarchical Partial-Order Planning. STAIRS Patrick Bechon, Magali Barbier, Guillaume Infantes, Charles Lesire, Vincent Vidal
2013	A	`conf`	HiDDeN: Cooperative plan execution and repair for heterogeneous robots in dynamic environments. IROS Thibault Gateau, Charles Lesire, Magali Barbier
2013	A*	`conf`	Multi-Target Detection and Recognition by UAVs Using Online POMDPs. AAAI Caroline Ponzoni Carvalho Chanel, Florent Teichteil-Königsbuch, Charles Lesire
2012	A	`conf`	POMDP-based online target detection and recognition for autonomous UAVs. ECAI Caroline Ponzoni Carvalho Chanel, Florent Teichteil-Königsbuch, Charles Lesire
2012	—	`conf`	Simulating Complex Robotic Scenarios with MORSE. SIMPAR Gilberto Echeverria, Séverin Lemaignan, Arnaud Degroote, Simon Lacroix, Michael Karg, Pierrick Koch, Charles Lesire, Serge Stinckwich
2011	A*	`conf`	A generic framework for anytime execution-driven planning in robotics. ICRA Florent Teichteil-Königsbuch, Charles Lesire, Guillaume Infantes
2010	A	`conf`	An Iterative A* Algorithm for Planning of Airport Ground Movements. ECAI Charles Lesire
2008	A	`conf`	Incremental Component-Based Construction and Verification of a Robotic System. ECAI Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis
2007	A*	`conf`	Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. ICAPS Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu
2006	—	`conf`	A Hybrid Model for Situation Monitoring and Conflict Prediction in Human Supervised "Autonomous" Systems. AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before Charles Lesire, Catherine Tessier
2006	—	`conf`	Estimation and Conflict Detection in Human Controlled Systems. HSCC Charles Lesire, Catherine Tessier
2006	—	`conf`	Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets. ICATPN Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier
2005	—	`conf`	Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty. ICATPN Charles Lesire, Catherine Tessier