The authors model gradient descent for optimal control as a separate dynamical system embedded in the plant dynamics to enable reachability-based verification of autonomous systems.
Set propagation techniques for reachability analysis
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
A tailored scenario optimization method yields tunable reachable-set estimates with a posteriori guarantees against adversarial noise and explicit degradation bounds under Wasserstein shifts.
citing papers explorer
-
Verification of Autonomous Systems with Optimal Controllers
The authors model gradient descent for optimal control as a separate dynamical system embedded in the plant dynamics to enable reachability-based verification of autonomous systems.
-
Data-driven Reachable Set Estimation with Tunable Adversarial and Wasserstein Distributional Guarantees
A tailored scenario optimization method yields tunable reachable-set estimates with a posteriori guarantees against adversarial noise and explicit degradation bounds under Wasserstein shifts.