Computing a language-based guarantee for timing properties of cyber-physical systems.

Neil Dhruva, Pratyush Kumar, Georgia Giannopoulou, Lothar Thiele

Browse the full DATE paper archive.