Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems.

Qianzhu Zhao, Jing Liu, Xiang Chen, Tengfei Li, Junfeng Sun, Lipeng Zhang

Browse the full TASE paper archive.