kth.sePublications KTH
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Risk-Averse Certification of Bayesian Neural Networks
Department of Computer Science, University of Oxford, Oxford, UK; School of Computer Science, University of Bristol, Bristol, UK.
KTH, School of Electrical Engineering and Computer Science (EECS), Decision and Control Systems.ORCID iD: 0000-0001-6464-492X
Department of Electrical and Electronic Engineering, Imperial College London, London, UK.
Department of Wind and Energy Systems, Technical University of Denmark, Kongens Lyngby, Denmark.
Show others and affiliations
2026 (English)In: Dependable Software Engineering. Theories, Tools, and Applications - 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Proceedings, Springer Nature , 2026, p. 299-317Conference paper, Published paper (Refereed)
Abstract [en]

In light of the inherently complex and dynamic nature of real-world environments, incorporating risk measures is crucial for the robustness evaluation of deep learning models. In this work, we propose a Risk-Averse Certification framework for Bayesian neural networks called RAC-BNN. Our method leverages sampling and optimisation to compute a probabilistically sound approximation of the output set of a BNN, represented using a set of template polytopes. To enhance risk-aware robustness evaluation, we integrate a coherent distortion risk measure–Conditional Value at Risk (CVaR)–into the certification framework, providing probabilistic guarantees based on empirical distributions obtained through sampling. We validate RAC-BNN on a range of regression and classification benchmarks and compare its performance with a state-of-the-art method. The results show that RAC-BNN effectively quantifies robustness under worst-performing risky scenarios, and achieves tighter certified bounds and higher efficiency in complex tasks.

Place, publisher, year, edition, pages
Springer Nature , 2026. p. 299-317
Keywords [en]
Bayesian neural networks, Probabilistic certification, Risk measure, Uncertainty
National Category
Computer Sciences Probability Theory and Statistics Computer Systems
Identifiers
URN: urn:nbn:se:kth:diva-383110DOI: 10.1007/978-981-95-7826-9_16Scopus ID: 2-s2.0-105039001491OAI: oai:DiVA.org:kth-383110DiVA, id: diva2:2068216
Conference
11th International Symposium on Dependable Software Engineering. Theories, Tools and Applications, SETTA 2025, Oxford, United Kingdom, Dec 1 2025 - Dec 3 2025
Note

Part of ISBN 9789819578252

QC 20260609

Available from: 2026-06-09 Created: 2026-06-09 Last updated: 2026-06-09Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Wang, Zifan

Search in DiVA

By author/editor
Wang, Zifan
By organisation
Decision and Control Systems
Computer SciencesProbability Theory and StatisticsComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf