formal verification

Counter-example Guided Learning of Bounds on Environment Behavior CoRL 2019 Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks IJCAI 2019 Efficient Neural Network Verification with Exactness Characterization UAI 2019 Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications CVPR 2019 PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach ICML 2019 Robustness Verification of Tree-based Models NeurIPS 2019 Verifiable and Interpretable Reinforcement Learning through Program Synthesis AAAI 2019 Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019 Verifying Robustness of Gradient Boosted Models AAAI 2019 A Unified View of Piecewise Linear Neural Network Verification NeurIPS 2018 Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs IJCAI 2018 Efficient Formal Safety Analysis of Neural Networks NeurIPS 2018 Fast and Effective Robustness Certification NeurIPS 2018 Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018 Formal Analysis of Deep Binarized Neural Networks IJCAI 2018 Formal Verification of Bayesian Network Classifiers PGM 2018 Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018 Learning to Solve SMT Formulas NeurIPS 2018 Nickel: A Framework for Design and Verification of Information Flow Control Systems OSDI 2018 Partakable Technology IJCAI 2018 Proving confidentiality in a file system using DiskSec OSDI 2018 Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees RSS 2018 Small Undecidable Problems in Epistemic Planning IJCAI 2018 SynKit: LTL Synthesis as a Service IJCAI 2018 Verifying concurrent software using movers in CSPEC OSDI 2018