| 2025 | ICINCO | NAMOUnc: Navigation Among Movable Obstacles with Decision Making on Uncertainty Interval. | Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Shoubin Chen, David Filliat |
| 2025 | IROS | Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic. | Antoine Besset, Julien Alexandre Dit Sandretto, Joris Tillet |
| 2024 | ICARCV | Overview of Motion Planning Techniques and Their Suitability for an Off-Road Navigation Use-Case. | Lucas Si Larbi, Eric Lucet, Julien Alexandre Dit Sandretto |
| 2024 | ICINCO | Validated Uncertainty Propagation for Estimation and Measure Association, Application to Satellite Tracking. | Charlotte Govignon, Elliot Brendel, Julien Alexandre Dit Sandretto |
| 2023 | IROS | Navigation Among Movable Obstacles Using Machine Learning Based Total Time Cost Optimization. | Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, David Filliat |
| 2022 | ICINCO | Task and Motion Planning Methods: Applications and Limitations. | Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat |
| 2020 | SEFM | Cosimulation-Based Control Synthesis. | Adrien Le Cont, Julien Alexandre Dit Sandretto, Alexandre Chapoutot |
| 2019 | IFSA | Logical Differential Constraints Based on Interval Boolean Tests. | Julien Alexandre Dit Sandretto, Alexandre Chapoutot |
| 2016 | CAV | Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. | Alexandre Chapoutot, Julien Alexandre Dit Sandretto |
| 2016 | RoboCup | Appropriate Design Guided by Simulation: An Hovercraft Application. | Julien Alexandre Dit Sandretto, Douglas Picciani de Suza, Alexandre Chapoutot |