Safe Temperature Regulation: Formally Verified and Real-World Validated.

Carlos Isasa, Noah Abou El Wafa, Cludio Gomes, Peter Gorm Larsen, Andr Platzer

Browse the full IFM paper archive.