Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision

Open in new window