Samuel Teuber, Debasmita Lohar, Bernhard Beckert. Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision. In Ahmed Irfan, Daniela Kaufmann, editors, Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025. TU Wien Academic Press, 2025. [doi]
@inproceedings{TeuberLB25,
title = {Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision},
author = {Samuel Teuber and Debasmita Lohar and Bernhard Beckert},
year = {2025},
doi = {10.34727/2025/isbn.978-3-85448-084-6_12},
url = {https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_12},
researchr = {https://researchr.org/publication/TeuberLB25},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025},
editor = {Ahmed Irfan and Daniela Kaufmann},
publisher = {TU Wien Academic Press},
isbn = {978-3-85448-084-6},
}