Skip to content
conftrace_

policy verification

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

network verification (2) model checking (2) neural network verification (2) formal verification (2) symbolic partitioning (1) equivalence partitioning (1) explicit-state exploration (1) partial order reduction (1) decision tree policy (1) control verification (1)

Papers

Neural Policy Safety Verification via Predicate Abstraction: CEGAR AAAI 2023 Probabilistic Temporal Logic for Reasoning about Bounded Policies IJCAI 2023 NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020 Neural Network Control Policy Verification With Persistent Adversarial Perturbation ICML 2020 Plankton: Scalable network configuration verification through model checking NSDI 2020 Verifiable Reinforcement Learning via Policy Extraction NeurIPS 2018