2 papers
cs.LO2025
Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
Antoine Besset, Joris Tillet, Julien Alexandre dit Sandretto
A framework is presented for the verification of Signal Temporal Logic (STL) specifications over continuous-time nonlinear systems under uncertainty. Based on reachability analysis…
cs.RO2025
NAMOUnc: Navigation Among Movable Obstacles with Decision Making on Uncertainty Interval
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto +2
Navigation among movable obstacles (NAMO) is a critical task in robotics, often challenged by real-world uncertainties such as observation noise, model approximations, action failu…