conftrace_

probabilistic verification

10 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network (3) probabilistic guarantee (2) neural network robustness (2) neural network verification (2) formal verification (2) proof system (1) statistical verification (1) robustness quantification (1) continuous-depth model (1) proof verification (1)

Papers

Probabilistic Safety Verification of Neural Policies via Predicate Abstraction AAAI 2026 Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation UAI 2026 Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound ICML 2025 Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract) IJCAI 2023 Probabilistic Verification of ReLU Neural Networks via Characteristic Functions L4DC 2023 GoTube: Scalable Statistical Verification of Continuous-Depth Models AAAI 2022 Trustworthy Monte Carlo NeurIPS 2022 Probabilistic Robustness Quantification of Neural Networks AAAI 2021 PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach ICML 2019 Probabilistic Verification for Obviously Strategyproof Mechanisms IJCAI 2018