Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic.

Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du

Browse the full APSEC paper archive.