Items where authors include "Flynn, David"

Article

Cali, Umit orcid.org/0000-0002-6402-0479, Lee, Annabelle, Hayes, Berry et al. (20 more authors) (2025) A comprehensive academic and industrial survey of blockchain technology for the energy sector using fuzzy Einstein decision-making. Renewable and Sustainable Energy Reviews. 115845. ISSN 1364-0321

Zhao, Xingyu, Gerasimou, Simos orcid.org/0000-0002-2706-5272, 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

Proceedings Paper

Zhao, Xingyu, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos orcid.org/0000-0002-2706-5272 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 .