Login / Signup
Xinliang Jiang
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Computation Tree Logic
Timed Automata
Transition Systems
Model Checking
Top Venues
J. Supercomput.
</>
Publications
</>
Yu Cheng
,
Jinzhao Liu
,
Xinliang Jiang
,
Xinyu Du
,
Ruijun Cheng
Intelligent quantitative safety monitoring approach for ATP system by neural computing and probabilistic model checking.
J. Supercomput.
80 (13) (2024)