Items where authors include "Zhao, Xingyu"

Article

Zhao, Xingyu, Gerasimou, Simos, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2024) Bayesian Learning for the Robust Verification of Autonomous Robots. Communications Engineering. 18. ISSN 2731-3395

Qi, Yi, Ryan, Philippa Mary orcid.org/0000-0003-1307-5207, Huang, Wei et al. (2 more authors) (2022) A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. CEUR Workshop Proceedings. ISSN 1613-0073

Proceedings Paper

Zhao, Xingyu, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos et al. (2 more authors) (2020) Interval Change-Point Detection for Runtime Probabilistic Model Checking. In: 35th IEEE/ACM International Conference on Automated Software Engineering. UNSPECIFIED. IEEE .