Antoine Besset

According to our database, Antoine Besset authored at least 4 papers between 2025 and 2026.

Collaborative distances:

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

2026

Set-based monitoring for signal temporal logic with uncertainty mitigation and confidence guarantees.

Antoine Besset, Joris Tillet, Julien Alexandre Dit Sandretto

Int. J. Approx. Reason., 2026

2025

Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes.

Joris Tillet, Antoine Besset, Julien Alexandre Dit Sandretto

Acta Cybern., 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