Antoine Besset

According to our database, Antoine Besset authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

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

Antoine Besset, Julien Alexandre Dit Sandretto, Joris Tillet

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

Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis.

Antoine Besset, Joris Tillet, Julien Alexandre Dit Sandretto

Proceedings of the 64th IEEE Conference on Decision and Control, 2025