TY  - RPRT
TI  - Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
AU  - Samuel Teuber
AU  - Debasmita Lohar
AU  - Bernhard Beckert
PY  - 2025
UR  - https://arxiv.org/abs/2507.22760
ID  - 2507.22760
ER  -