Carlos Isasa, Noah Abou El Wafa, Cláudio Gomes 0001, Peter Gorm Larsen, André Platzer. Safe Temperature Regulation: Formally Verified and Real-World Validated. In Ferruccio Damiani, Marie Farrell, editors, Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings. Volume 16194 of Lecture Notes in Computer Science, pages 143-161, Springer, 2025. [doi]
Abstract is missing.