Digitala Vetenskapliga Arkivet

Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • 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, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.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.
Vise andre og tillknytning
2026 (engelsk)Inngår i: Dependable Software Engineering. Theories, Tools, and Applications - 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Proceedings, Springer Nature , 2026, s. 299-317Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Springer Nature , 2026. s. 299-317
Emneord [en]
Bayesian neural networks, Probabilistic certification, Risk measure, Uncertainty
HSV kategori
Identifikatorer
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
Konferanse
11th International Symposium on Dependable Software Engineering. Theories, Tools and Applications, SETTA 2025, Oxford, United Kingdom, Dec 1 2025 - Dec 3 2025
Merknad

Part of ISBN 9789819578252

QC 20260609

Tilgjengelig fra: 2026-06-09 Laget: 2026-06-09 Sist oppdatert: 2026-06-09bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Søk i DiVA

Av forfatter/redaktør
Wang, Zifan
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 11 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf