@INPROCEEDINGS{TeuberAngelsAndDemons2025,
  author       = {Samuel Teuber and
                  Debasmita Lohar and
                  Bernhard Beckert},
  title        = {Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite
                  Precision},
  booktitle       = {25th Conference on Formal Methods in Computer-Aided
                  Design},
  eventtitleaddon = {{FMCAD}~2025},
  venue           = {Menlo Park, CA, USA},
  eventdate       = {2025-10-06/2025-10-10},
  year         = {2025},
  month = {sep},
  opturl       = {https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_12},
  doi          = {10.34727/2025/isbn.978-3-85448-084-6_12},
}