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

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

Published in: TASE (2021)

Keyphrases

spatio temporal
image sequences
distributed systems
computer systems
information systems
complex systems
learning systems
intelligent vehicles
neural network
safety critical
model checking
building blocks
intelligent systems
moving objects
expert systems
web services
social networks