Train Resources Conflict Detection of NGTC Based on Probabilistic Timed Automata.

Jinjin Gao Jidong Lv Ming Chai Hongjie Liu Tao Tang Wanli Lu

Published in: ITSC (2021)

Keyphrases

conflict detection
timed automata
model checking
resource management
reachability analysis
probabilistic model
theorem prover
bayesian networks
generative model
resource allocation
uncertain data
theorem proving
machine learning
web services
intelligent agents
real time systems