Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis. - Antoine Besset; Joris Tillet; Julien Alexandre Dit Sandretto (CDC, 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)