Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems.

Ping Hou, Hao Zheng

Browse the full LFCS paper archive.