Probabilistic Verification and Reachability Analysis of Neural Networks
via Semidefinite Programming

Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming

9 October 2019

George J. Pappas

Papers citing "Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming"

5 / 5 papers shown

Title
Distributionally Robust Statistical Verification with Imprecise Neural Networks Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 49 7 0 28 Aug 2023
Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts Navid Hashemi Justin Ruths Jyotirmoy V. Deshmukh 14 0 0 05 Apr 2023
Neural Network Verification in Control M. Everett AAML 27 16 0 30 Sep 2021
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications Leonard Berrada Sumanth Dathathri Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel J. Uesato Sven Gowal M. P. Kumar AAML OOD 14 17 0 18 Feb 2021
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 290 0 09 Aug 2017