formal verification

Lagrangian Decomposition for Neural Network Verification UAI 2020 Liveness Verification of Stateful Network Functions NSDI 2020 Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory IJCAI 2020 LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020 Model Checking Temporal Epistemic Logic under Bounded Recall AAAI 2020 NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020 Neural Network Branching for Neural Network Verification ICLR 2020 Neurosymbolic Reinforcement Learning with Formally Verified Exploration NeurIPS 2020 Plankton: Scalable network configuration verification through model checking NSDI 2020 Robustness Verification for Transformers ICLR 2020 STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks NeurIPS 2020 Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020 Synthesizing strategies under expected and exceptional environment behaviors IJCAI 2020 Towards Verifying Robustness of Neural Networks Against A Family of Semantic Perturbations CVPR 2020 Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints IJCAI 2020 Verifying Fault-Tolerance in Probabilistic Swarm Systems IJCAI 2020 Abstraction based Output Range Analysis for Neural Networks NeurIPS 2019 Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation EMNLP 2019 A Dual Approach to Verify and Train Deep Networks IJCAI 2019 An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019 Automated Verification of Social Laws for Continuous Time Multi-Robot Systems AAAI 2019 Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants IJCAI 2019 Beyond the Single Neuron Convex Barrier for Neural Network Certification NeurIPS 2019 Certifying Geometric Robustness of Neural Networks NeurIPS 2019 Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees AAAI 2019