STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems.

Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang

Browse the full QRS paper archive.