Quantitative Verification for Temporal Properties of Massive Linear Systems.

Qing Liu, Yuntao Li, Sungwoo Choi, Luan Viet Nguyen, Hoang-Dung Tran

Browse the full ICFEM paper archive.