Temporal Logic Verification for Delay Differential Equations

Peter Nazier Mosaad, Martin Fränzle, Bai Xue. Temporal Logic Verification for Delay Differential Equations. In Augusto Sampaio, Farn Wang, editors, Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. Volume 9965 of Lecture Notes in Computer Science, pages 405-421, 2016. [doi]

Abstract

Abstract is missing.