@inproceedings{ee6f343dfc984081b450144348bbcf7f,
title = "Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision",
keywords = "Formal methods, Computer-Aided Design, Hardware and system verification",
author = "Samuel Teuber and Debasmita Lohar and Bernhard Beckert",
year = "2025",
language = "English",
booktitle = "Formal Methods in Computer-Aided Design (FMCAD)",
publisher = "TU Wien Academic Press",
note = "25th Conference on Formal Methods in Computer-Aided Design , FMCAD ; Conference date: 06-10-2025 Through 10-10-2025",
}