Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001. Robust Model Checking of Timed Automata under Clock Drifts. In Goran Frehse, Sayan Mitra, editors, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017. pages 153-162, ACM, 2017. [doi]
Abstract is missing.