Distributionally robust statistical verification with imprecise neural networks

DOI10.1145/3716863.3718040MaRDI QIDQ6904644zbMATH OpenFDO

Authors Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee

Publication date 7 November 2025

Full work available at URL https://doi.org/10.1145/3716863.3718040

zbMATH Keywords

imprecise probabilitiesneural network verificationreinforcement learningstatistical verification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites work

• A new definition of entropy of belief functions in the Dempster-Shafer theory
• A tutorial on conformal prediction
• Additivity of uncertainty measures on credal sets
• Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis
• Bayes' theorem for Choquet capacities
• scientific article; zbMATH DE number 48344 (Why is no real title available?)
• scientific article; zbMATH DE number 2168212 (Why is no real title available?)
• scientific article; zbMATH DE number 1931847 (Why is no real title available?)
• Introduction to uncertainty quantification
• Judicious judgment meets unsettling updating: dilation, sure loss and Simpson's paradox
• Lower Previsions
• On linear optimization over Wasserstein balls
• Reachability analysis for neural feedback systems using regressive polynomial rule inference
• Risk verification of stochastic systems with neural network controllers
• Robust Statistics
• Robust Validation: Confident Predictions Even When Distributions Shift
• Statistical verification of learning-based cyber-physical systems
• Verisig 2.0: verification of neural network controllers using Taylor model preconditioning

This page was built for publication: Distributionally robust statistical verification with imprecise neural networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6904644)