Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata.

Ming Chai Haifeng Wang Hongjie Liu Jidong Lv Qian Hu

Published in: ITSC (2019)

Keyphrases

hybrid automata
control system
communication systems
verification method
training data
computational complexity
background knowledge
formal verification
neural network
learning algorithm
active learning
model checking
control method