Dimitri Lefebvre — accepted AI-conference papers

2025

Optimal Path Planning for Multi-Robot Systems Using Petri Nets

Zhou He, Shilong Yuan, Ning Ran, Dimitri Lefebvre

RA-L 2025

This letter deals with the problem of path planning of multi-robot systems within the context of high-level tasks. Specifically, a task comprises logical requirements (conjunctions, disjunctions, and negations) on the trajectories and final states of robots in certain regions of interest. We propose

Cited by 2 Source ↗Scholar ↗

2023

Robust Stealthy Attacks Based on Uncertain Costs and Labeled Finite Automata With Inputs

Rabah Ammour, Said Amari, Leonardo Brenner, Isabel Demongodin, Dimitri Lefebvre

RA-L 2023

This letter deals with the vulnerability analysis of cyber-physical systems subject to malicious actions. For this purpose, the considered system is assumed to be abstracted as a discrete event system. Labeled finite automata with inputs are used to model the system's behavior along with the informa

Cited by 12 Source ↗Scholar ↗