Digitala Vetenskapliga Arkivet

Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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.
Visa övriga samt affilieringar
2026 (Engelska)Ingå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-317Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Springer Nature , 2026. s. 299-317
Nyckelord [en]
Bayesian neural networks, Probabilistic certification, Risk measure, Uncertainty
Nationell ämneskategori
Datavetenskap (datalogi) Sannolikhetsteori och statistik Datorsystem
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
Konferens
11th International Symposium on Dependable Software Engineering. Theories, Tools and Applications, SETTA 2025, Oxford, United Kingdom, Dec 1 2025 - Dec 3 2025
Anmärkning

Part of ISBN 9789819578252

QC 20260609

Tillgänglig från: 2026-06-09 Skapad: 2026-06-09 Senast uppdaterad: 2026-06-09Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Sök vidare i DiVA

Av författaren/redaktören
Wang, Zifan
Av organisationen
Reglerteknik
Datavetenskap (datalogi)Sannolikhetsteori och statistikDatorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 11 träffar
RefereraExporteraLänk till posten
Permanent länk

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