@INPROCEEDINGS{TeuberAngelsAndDemons2025,
author={Samuel Teuber and
Debasmita Lohar and
Bernhard Beckert},
booktitle={2025 Formal Methods in Computer-Aided Design (FMCAD)},
title={Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision},
year={2025},
doi={10.48550/arXiv.2507.22760}
}
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
| Autor(en): | Samuel Teuber, Debasmita Lohar und Bernhard Beckert |
|---|---|
| In: | 2025 Formal Methods in Computer-Aided Design (FMCAD) |
| Jahr: | 2025 |
| DOI: | 10.48550/arXiv.2507.22760 |