Safety Monitoring for ETCS with 4-valued LTL

Xian Li, Ming Chai, Lin Zhao, Tao Tang, Tianhua Xu. Safety Monitoring for ETCS with 4-valued LTL. In 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011. pages 86-91, IEEE, 2011. [doi]

Abstract

Abstract is missing.