Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
- Samuel Teuber,
- ,
- Bernhard Beckert
- Karlsruhe Institute of Technology
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Research
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Research
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 65-77Publication milestones
- Published - 2025
Publication status
Published - 2025
Publisher
TU Wien Academic PressBook series
- Book series name: Proceedings of Formal Methods in Computer-Aided Design
ISBN (Electronic)
978-3-85448-084-6Publication IDs
- Scopus: 105034261866
Host publication title
Formal Methods in Computer-Aided Design (FMCAD)Publication metrics
PlumX
Captures
2
Citation count
1
Funding Details
This work was supported by funding from the pilot program CoreInformatics of the Helmholtz Association (HGF)
Access to documents
Final published version
License:CC BY, opens in new tab
Related Event
Title
Formal Methods in Computer-Aided Design conference
Event type
ConferenceDegree of recognition
International eventDate
06/10/2025 - 10/10/2025Location
Menlo ParkUnited States