Charles Lesire

Augustin Manecy

Proceedings of the 4th International Workshop on Robotics Software Engineering, 2022

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

[BibT_eX]

[DOI]

Félix Quinton

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection, 2022

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

[BibT_eX]

Proceedings of the SMA et Smart Cities, 2022

Communication-Preserving Bids in Market-Based Task Allocation.

[BibT_eX]

[DOI]

Felix Quinton

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

A Hierarchical Deliberative Architecture Framework based on Goal Decomposition.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Learning Path Constraints for UAV Autonomous Navigation Under Uncertain GNSS Availability.

[BibT_eX]

[DOI]

Marion Zaninotti

Yoko Watanabe

Caroline P. C. Chanel

Proceedings of the PAIS 2022, 2022

2021

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

[BibT_eX]

[DOI]

José Luis Vilchis Medina

Karen Godary-Dejean

IEEE Robotics Autom. Lett., 2021

Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE/ACM International Workshop on Robotics Software Engineering, 2021

Enchères pour le Maintien des Communications lors de l'Allocation de Tâches.

[BibT_eX]

Felix Quinton

Proceedings of the Collectifs cyber-physiques, 2021

Market-based Multi-robot coordination with HTN planning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

2020

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

[BibT_eX]

[DOI]

Patrick Bechon

Magali Barbier

Auton. Robots, 2020

Formalization of Robot Skills with Descriptive and Operational Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

A hierarchical fault tolerant architecture for an autonomous robot.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020

2019

A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems.

[BibT_eX]

[DOI]

Nicolas Gobillot

J. Intell. Robotic Syst., 2019

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

[BibT_eX]

[DOI]

Alexandre Albore

Jorrit T'Hooft

Auton. Robots, 2019

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

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

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

[BibT_eX]

[DOI]

Muhammad Khakim Habibi

Proceedings of the International Conference on Robotics and Automation, 2019

2018

ASPiC: An Acting System Based on Skill Petri Net Composition.

[BibT_eX]

[DOI]

Franck Pommereau

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Open Loop Execution of Tree-Search Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Integrating Planning and Execution for a Team of Heterogeneous Robots with Time and Communication Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Schedulability analysis for mixed critical cyber physical systems.

[BibT_eX]

[DOI]

Charles Lesire-Cabaniols

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

2017

MAUVE Runtime: A Component-Based Middleware to Reconfigure Software Architectures in Real-Time.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Robotic Computing, 2017

2016

Gestion des réseaux temporels simples multi-agents dynamiques.

[BibT_eX]

[DOI]

Guillaume Casanova

Rev. d'Intelligence Artif., 2016

A distributed architecture for supervision of autonomous multi-robot missions - Application to air-sea scenarios.

[BibT_eX]

[DOI]

Auton. Robots, 2016

Online Proactive Planning with Multiple Hypotheses.

[BibT_eX]

[DOI]

Jorrit T'Hooft

Proceedings of the STAIRS 2016, 2016

Synthèse de plans d'exécution multi-agents robustes aux incertitudes et à l'absence de communications (présentation courte).

[BibT_eX]

Proceedings of the Systèmes Multi-Agents et simulation, 2016

Measurement-based real-time analysis of robotic software architectures.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Solving Dynamic Controllability Problem of Multi-Agent Plans with Uncertainty Using Mixed Integer Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Periodic state-machine aware real-time analysis.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Using hybrid planning for plan reparation.

[BibT_eX]

[DOI]

Proceedings of the 2015 European Conference on Mobile Robots, 2015

Managing Dynamic Multi-Agent Simple Temporal Network.

[BibT_eX]

[DOI]

Guillaume Casanova

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

HiPOP: Hierarchical Partial-Order Planning.

[BibT_eX]

[DOI]

Proceedings of the STAIRS 2014, 2014

A Modeling Framework for Software Architecture Specification and Validation.

[BibT_eX]

[DOI]

Nicolas Gobillot

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

Deployment of Mobile Wireless Sensor Networks for Crisis Management: A Constraint-Based Local Search Approach.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2014

A Robotic Execution Framework for Online Probabilistic (Re)Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

HiDDeN: Cooperative plan execution and repair for heterogeneous robots in dynamic environments.

[BibT_eX]

[DOI]

Thibault Gateau

Magali Barbier

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Multi-Target Detection and Recognition by UAVs Using Online POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Simulating Complex Robotic Scenarios with MORSE.

[BibT_eX]

[DOI]

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2012

POMDP-based online target detection and recognition for autonomous UAVs.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

2011

A generic framework for anytime execution-driven planning in robotics.

[BibT_eX]

[DOI]

Guillaume Infantes

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

2010

An Iterative A* Algorithm for Planning of Airport Ground Movements.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

2008

Incremental Component-Based Construction and Verification of a Robotic System.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2007

Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2006

Estimation and Conflict Detection in Human Controlled Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets.

[BibT_eX]

[DOI]

Olivier Bonnet-Torrés

Patrice Domenech

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

A Hybrid Model for Situation Monitoring and Conflict Prediction in Human Supervised "Autonomous" Systems.

[BibT_eX]

[DOI]

Proceedings of the To Boldly Go Where No Human-Robot Team Has Gone Before, 2006

2005

Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty.

[BibT_eX]

[DOI]