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

Samuel Teuber, Debasmita Lohar, Bernhard Beckert

Browse the full FMCAD paper archive.