Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments.

Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen

Browse the full ISKE paper archive.