Ping Hou, Hao Zheng. Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Volume 7734 of Lecture Notes in Computer Science, pages 234-251, Springer, 2013. [doi]
Abstract is missing.