Distributionally Robust Statistical Verification with Imprecise Neural Networks

Distributionally Robust Statistical Verification with Imprecise Neural Networks

28 August 2023

Souradeep Dutta

Matthew Cleaveland

Papers citing "Distributionally Robust Statistical Verification with Imprecise Neural Networks"

14 / 14 papers shown

Title
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications Yiqi Zhao Emily Zhu Bardh Hoxha Georgios Fainekos Jyotirmoy V. Deshmukh Lars Lindemann 24 0 0 03 Apr 2025
Conformal Prediction Regions are Imprecise Highest Density Regions Michele Caprio Yusuf Sale Eyke Hüllermeier 62 0 0 10 Feb 2025
Conformalized Credal Regions for Classification with Ambiguous Ground Truth Michele Caprio David Stutz Shuo Li Arnaud Doucet UQCV 57 4 0 07 Nov 2024
Uncertainty-based Offline Variational Bayesian Reinforcement Learning for Robustness under Diverse Data Corruptions Rui Yang Jie Wang Guoping Wu B. Li AAML OffRL 29 1 0 01 Nov 2024
Statistical Multicriteria Benchmarking via the GSD-Front Christoph Jansen G. Schollmeyer Julian Rodemann Hannah Blocher Thomas Augustin 36 3 0 06 Jun 2024
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift Yiqi Zhao Bardh Hoxha Georgios Fainekos Jyotirmoy V. Deshmukh Lars Lindemann 14 13 0 16 Nov 2023
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers Yuang Geng Jake Brandon Baldauf Souradeep Dutta Chao Huang Ivan Ruchkin 25 5 0 08 Nov 2023
Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems Robert J. Moss Mykel J. Kochenderfer Maxime Gariel Arthur Dubois 20 3 0 03 May 2023
HiddenGems: Efficient safety boundary detection with active learning Aleksandar Petrov Carter Fang Khang Minh Pham Y. Eng J. Fu S. Pendleton 30 2 0 25 Oct 2022
From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems Mohammad Divband Soorati E. Gerding Enrico Marchioni Pavel Naumov Timothy J. Norman ... A. J. Sobey Sebastian Stein Danesh Tarpore V. Yazdanpanah Jie Zhang LLMAG AI4CE 16 5 0 05 Oct 2022
VOS: Learning What You Don't Know by Virtual Outlier Synthesis Xuefeng Du Zhaoning Wang Mu Cai Yixuan Li OODD 174 220 0 02 Feb 2022
Sample-Efficient Safety Assurances using Conformal Prediction Rachel Luo Shengjia Zhao Jonathan Kuck B. Ivanovic Silvio Savarese Edward Schmerling Marco Pavone 45 56 0 28 Sep 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 219 1,818 0 03 Feb 2017
Simple and Scalable Predictive Uncertainty Estimation using Deep Ensembles Balaji Lakshminarayanan Alexander Pritzel Charles Blundell UQCV BDL 268 5,635 0 05 Dec 2016