A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems.

Ping Hou, Yifei Chen

Browse the full CADE paper archive.