Certifying Plans under Model Mismatch: A Trilemma for Reachability from Scarce Data
DGX agentarXiv:2608.02453v1 Announce Type: new Abstract: Sim-to-real policies are designed under nominal dynamics, but target-system trials may yield only a few isolated one-step transitions. We study pre-exec