Julien Alexandre Dit Sandretto — accepted AI-conference papers

2025

Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic

Antoine Besset, Julien Alexandre Dit Sandretto, Joris Tillet

IROS 2025

This paper presents a guaranteed model-based approach for monitoring drone trajectory, providing real-time guarantees with a simplified dynamic model. ROS components are introduced for real-time implementation, enabling monitoring and adjustments in both simulations and actual systems. We extend the

Cited by 0 Source ↗Scholar ↗

2023

Navigation Among Movable Obstacles Using Machine Learning Based Total Time Cost Optimization

Kai Zhang, Eric Lucet, Julien Alexandre dit Sandretto, David Filliat

IROS 2023poster

Most navigation approaches treat obstacles as static objects and choose to bypass them. However, the detour could be costly or could lead to failures in indoor environments. The recently developed navigation among movable obstacles (NAMO) methods prefer to remove all the movable obstacles blocking t…

Cited by 2 Source ↗Scholar ↗