Titel
Autor(en)
Quelle
Cost of Soundness in Mixed-Precision Tuning Anastasia Isychev und Debasmita Lohar Proceedings of the ACM on Programming Languages (PACMPL) 9(OOPSLA2) Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Samuel Teuber, Debasmita Lohar und Bernhard Beckert 2025 Formal Methods in Computer-Aided Design (FMCAD)
Titel
Autor(en)
Quelle
Toward Precision-Aware Safe Neural-Controlled Cyber-Physical Systems Harikishan Thevendhriya, Sumana Ghosh und Debasmita Lohar IEEE Embedded Systems Letters 16(4)