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

zbMATH Keywords

imprecise probabilitiesreinforcement learningneural network verificationstatistical 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)

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)