Charles Lesire

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 35

Top Topics

Software Architecture

Iterative Repair

Top Venues

Publications

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