Introduces GPUSLS-LEO with path-based Hessian bounds for analytic dynamics and verifier-based bounds for NN dynamics, enabling real-time robust LTV control with verified reachable tubes up to 168 states.
Robustness without wrinkles: Parallel simulation and robust MPC for certified deformable manipulation
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Derives a drift-aware sensing clock from certified world models that controls certificate violations on held-out data and outperforms expected-belief scheduling in a synthetic benchmark at matched sensing budget.
citing papers explorer
-
Certified World Models as Sensing Clocks: Drift-Aware Deadlines for Active Perception
Derives a drift-aware sensing clock from certified world models that controls certificate violations on held-out data and outperforms expected-belief scheduling in a synthetic benchmark at matched sensing budget.