ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1910.04249
  4. Cited By
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
Mahyar Fazlyab
M. Morari
George J. Pappas
    AAML
ArXivPDFHTML

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
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
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
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
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
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
1