TY  - RPRT
TI  - Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
AU  - Antoine Besset
AU  - Joris Tillet
AU  - Julien Alexandre dit Sandretto
PY  - 2026
UR  - https://arxiv.org/abs/2511.17617
ID  - 2511.17617
ER  -