Login / Signup
Tengfei Li
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Control System
Formal Verification
Temporal Constraints
Decomposition Methods
Top Venues
COMPSAC
SEKE
IEEE Access
QRS
</>
Publications
</>
Dongdong An
,
Zongxu Pan
,
Xin Gao
,
Shuang Li
,
Ling Yin
,
Tengfei Li
stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social Systems.
IEEE Access
11 (2023)
Mengyuan Wang
,
Tengfei Li
,
Jing Liu
,
Hui Dou
,
HongTao Chen
,
John Zhang
,
Lipeng Zhang
Modeling and Verification of Autonomous Driving Systems under Stochastic Spatio-Temporal Constraints.
SEKE
(2023)
Tengfei Li
,
Junfeng Sun
,
Xinjun Lv
,
Xiang Chen
,
Jing Liu
,
Haiying Sun
Enhancing the Formal Verification of Train Control Systems based on Decomposition.
COMPSAC
(2023)
Huiyu Liu
,
Jing Liu
,
Haiying Sun
,
Tengfei Li
,
John Zhang
Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems.
QRS
(2022)