Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty. - Charles Lesire; Catherine Tessier (ICATPN, 2005)

A Hybrid Model for Situation Monitoring and Conflict Prediction in Human Supervised "Autonomous" Systems. - Charles Lesire; Catherine Tessier (AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before, 2006)

Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets. - Olivier Bonnet-Torrés; Patrice Domenech; Charles Lesire; Catherine Tessier (ICATPN, 2006)

Estimation and Conflict Detection in Human Controlled Systems. - Charles Lesire; Catherine Tessier (HSCC, 2006)

Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. - Yasmina Abdeddaïm; Eugene Asarin; Matthieu Gallien; Félix Ingrand; Charles Lesire; Mihaela Sighireanu (ICAPS, 2007)

Incremental Component-Based Construction and Verification of a Robotic System. - Ananda Basu; Matthieu Gallien; Charles Lesire; Thanh-Hung Nguyen; Saddek Bensalem; Félix Ingrand; Joseph Sifakis (ECAI, 2008)

An Iterative A* Algorithm for Planning of Airport Ground Movements. - Charles Lesire (ECAI, 2010)

A generic framework for anytime execution-driven planning in robotics. - Florent Teichteil-Königsbuch; Charles Lesire; Guillaume Infantes (ICRA, 2011)

POMDP-based online target detection and recognition for autonomous UAVs. - Caroline Ponzoni Carvalho Chanel; Florent Teichteil-Königsbuch; Charles Lesire (ECAI, 2012)

Simulating Complex Robotic Scenarios with MORSE. - Gilberto Echeverria; Séverin Lemaignan; Arnaud Degroote; Simon Lacroix; Michael Karg; Pierrick Koch; Charles Lesire; Serge Stinckwich (SIMPAR, 2012)

Multi-Target Detection and Recognition by UAVs Using Online POMDPs. - Caroline Ponzoni Carvalho Chanel; Florent Teichteil-Königsbuch; Charles Lesire (AAAI, 2013)

HiDDeN: Cooperative plan execution and repair for heterogeneous robots in dynamic environments. - Thibault Gateau; Charles Lesire; Magali Barbier (IROS, 2013)

A Robotic Execution Framework for Online Probabilistic (Re)Planning. - Caroline Ponzoni Carvalho Chanel; Charles Lesire; Florent Teichteil-Königsbuch (ICAPS, 2014)

Deployment of Mobile Wireless Sensor Networks for Crisis Management: A Constraint-Based Local Search Approach. - Cédric Pralet; Charles Lesire (CP, 2014)

A Modeling Framework for Software Architecture Specification and Validation. - Nicolas Gobillot; Charles Lesire; David Doose (SIMPAR, 2014)

HiPOP: Hierarchical Partial-Order Planning. - Patrick Bechon; Magali Barbier; Guillaume Infantes; Charles Lesire; Vincent Vidal 001 (STAIRS, 2014)

Managing Dynamic Multi-Agent Simple Temporal Network. - Guillaume Casanova; Cédric Pralet; Charles Lesire (AAMAS, 2015)

Using hybrid planning for plan reparation. - Patrick Bechon; Magali Barbier; Charles Lesire; Guillaume Infantes; Vincent Vidal 001 (ECMR, 2015)

Periodic state-machine aware real-time analysis. - Nicolas Gobillot; David Doose; Charles Lesire; Luca Santinelli (ETFA, 2015)

Solving Dynamic Controllability Problem of Multi-Agent Plans with Uncertainty Using Mixed Integer Linear Programming. - Guillaume Casanova; Cédric Pralet; Charles Lesire; Thierry Vidal (ECAI, 2016)

Measurement-based real-time analysis of robotic software architectures. - Nicolas Gobillot; Fabrice Guet; David Doose; Christophe Grand; Charles Lesire; Luca Santinelli (IROS, 2016)

Synthèse de plans d'exécution multi-agents robustes aux incertitudes et à l'absence de communications (présentation courte). - Guillaume Casanova; Cédric Pralet; Charles Lesire; Thierry Vidal (JFSMA, 2016)

Online Proactive Planning with Multiple Hypotheses. - Jorrit T'Hooft; Charles Lesire; Caroline Ponzoni Carvalho Chanel (STAIRS, 2016)

A distributed architecture for supervision of autonomous multi-robot missions - Application to air-sea scenarios. - Charles Lesire; Guillaume Infantes; Thibault Gateau; Magali Barbier (Auton. Robots, 2016)

Gestion des réseaux temporels simples multi-agents dynamiques. - Guillaume Casanova; Charles Lesire; Cédric Pralet (Rev. d'Intelligence Artif., 2016)

MAUVE Runtime: A Component-Based Middleware to Reconfigure Software Architectures in Real-Time. - David Doose; Christophe Grand; Charles Lesire (IRC, 2017)

Schedulability analysis for mixed critical cyber physical systems. - Luca Santinelli; David Doose; Guy Durrieu; Frédéric Boniol; Charles Lesire-Cabaniols; Christophe Grand (ICPS, 2018)

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; Cédric Pralet (ICRA, 2018)

Open Loop Execution of Tree-Search Algorithms. - Erwan Lecarpentier; Guillaume Infantes; Charles Lesire; Emmanuel Rachelson (IJCAI, 2018)

ASPiC: An Acting System Based on Skill Petri Net Composition. - Charles Lesire; Franck Pommereau (IROS, 2018)

Solving Methods for Multi-Robot Missions Planning with Energy Capacity Consideration. - Muhammad Khakim Habibi; Christophe Grand; Charles Lesire; Cédric Pralet (ICRA, 2019)

Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification. - Charles Lesire; Stéphanie Roussel 001; David Doose; Christophe Grand (ICRA, 2019)

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 (Auton. Robots, 2019)

A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems. - Nicolas Gobillot; Charles Lesire; David Doose (J. Intell. Robotic Syst., 2019)

A hierarchical fault tolerant architecture for an autonomous robot. - Anthony Favier; Antonin Messioux; Jérémie Guiochet; Jean-Charles Fabre; Charles Lesire (DSN Workshops, 2020)

Formalization of Robot Skills with Descriptive and Operational Models. - Charles Lesire; David Doose; Christophe Grand (IROS, 2020)

Hybrid planning and distributed iterative repair for multi-robot missions with communication losses. - Patrick Bechon; Charles Lesire; Magali Barbier (Auton. Robots, 2020)

Market-based Multi-robot coordination with HTN planning. - Antoine Milot; Estelle Chauveau; Simon Lacroix; Charles Lesire (IROS, 2021)

Enchères pour le Maintien des Communications lors de l'Allocation de Tâches. - Felix Quinton; Christophe Grand; Charles Lesire (JFSMA, 2021)

Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management. - Alexandre Albore; David Doose; Christophe Grand; Charles Lesire; Augustin Manecy (RoSE@ICSE, 2021)

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 Autom. Lett., 2021)

Learning Path Constraints for UAV Autonomous Navigation Under Uncertain GNSS Availability. - Marion Zaninotti; Charles Lesire; Yoko Watanabe; Caroline P. C. Chanel (PAIS@ECAI, 2022)

A Hierarchical Deliberative Architecture Framework based on Goal Decomposition. - Charles Lesire; Rafael Bailon-Ruiz; Magali Barbier; Christophe Grand (IROS, 2022)

Communication-Preserving Bids in Market-Based Task Allocation. - Felix Quinton; Christophe Grand; Charles Lesire (IROS, 2022)

Allocation par enchères et planification hiérarchique pour un système multirobot, application au cas de la chasse aux mines sous-marines. - Antoine Milot; Estelle Chauveau; Simon Lacroix; Charles Lesire (JFSMA, 2022)

Improving the Connectivity of Multi-hop Communication Networks Through Auction-Based Multi-robot Task Allocation. - Félix Quinton; Christophe Grand; Charles Lesire (PAAMS, 2022)

A skill fault model for autonomous systems. - Gabriela Catalán Medina; Jérémie Guiochet; Charles Lesire; Augustin Manecy (RoSE@ICSE, 2022)

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é (FMAS/ASYDE@SEFM, 2022)

Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets. - Baptiste Pelletier; Charles Lesire; Christophe Grand; David Doose; Mathieu Rognant (ICRA, 2023)

Multi-Robot Task Planning to Secure Human Group Progress. - Roland Godet; Charles Lesire; Arthur Bit-Monnot (AREA@ECAI, 2023)

Enchères pour le Maintien des Communications lors de l'Allocation de Tâches pour des Missions Multi-robots. - Félix Quinton; Christophe Grand; Charles Lesire (Rev. Ouverte Intell. Artif., 2023)

Market Approaches to the Multi-Robot Task Allocation Problem: a Survey. - Félix Quinton; Christophe Grand; Charles Lesire (J. Intell. Robotic Syst., 2023)

Skill-based design of dependable robotic architectures. - Alexandre Albore; David Doose; Christophe Grand; Jérémie Guiochet; Charles Lesire; Augustin Manecy (Robotics Auton. Syst., 2023)

Bid Intercession to Unlock Human Control in Decentralized Consensus-Based Multi-robot Task Allocation Algorithms. - Victor Guillet; Christophe Grand; Charles Lesire; Gauthier Picard (AREA, 2024)

Multi-Agent Path Finding with Task Assignment and Supporting Constraints. - Caroline Bonhomme; Christophe Grand; Charles Lesire; Jean-Louis Dufour; Christophe Guettier (ECAI, 2024)

Extended Abstract: Skill-Based Architectures in Autonomous Systems: Lessons Learnt. - Pierre Malafosse; Alexandre Albore; Jérémie Guiochet; Charles Lesire (PhD@IFM, 2024)

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. - Victor Guillet; Christophe Grand; Charles Lesire; Gauthier Picard (JFSMA, 2024)

SkiNet: A User-Oriented Tool for Petri Net-Based Analysis of Robotic Skills. - Baptiste Pelletier; Charles Lesire; Karen Godary-Dejean (Petri Nets, 2025)

Extending Consensus-based Task Allocation Algorithms with Bid Intercession to Foster Mixed-Initiative. - Victor Guillet; Charles Lesire; Gauthier Picard; Christophe Grand (AAMAS, 2025)

A formal framework for the specification and verification of robotic skills composition for autonomous behaviors. - Baptiste Pelletier; Charles Lesire; Karen Godary-Dejean (Robotics Auton. Syst., 2025)