Generator-Independent Runtime Assurance under Partial Observation
This work shows that the closed-loop safety guarantee decouples from the generator is necessary and sufficient for generator-independent admission soundness, and bounds every admission mechanism under partial observation.
Guang-Xi Wan, Yong-Bo Xie, Yu-Qi Liu et al.
· 1 citation