Statistics
Publications
2
Citations
51
H-Index
2
Active since
2022
Affiliations
Xinyi Yu is an author at Ministry of Education of the People's Republic of China specializing in formal verification, automated reasoning, and engineering.
Publications per year
2022–2023
2
2
Model predictive monitoring of dynamical systems for signal temporal logic specifications
Xinyi Yu, Weijie Dong, Shaoyuan Li et al. · Automatica · 2023 · 16 citations
1–2 of 2