Safety Monitoring for ETCS with 4-valued LTL.

Xian Li, Ming Chai, Lin Zhao, Tao Tang, Tianhua Xu

Browse the full ISADS paper archive.