formal verification

Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning RSS 2021 Safety Assurance for Systems with Machine Learning Components AAAI 2021 Scalable Verification of Quantized Neural Networks AAAI 2021 Scaling the Convex Barrier with Active Sets ICLR 2021 SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021 Tango: Declarative Semantics for Multiagent Communication Protocols IJCAI 2021 Teaching Temporal Logics to Neural Networks ICLR 2021 Toward Determining NFA Equivalence via QBFs (Student Abstract) AAAI 2021 Verifiable Machine Ethics in Changing Contexts AAAI 2021 Verification and Repair of Neural Networks AAAI 2021 Verifying Reinforcement Learning up to Infinity IJCAI 2021 Abstract Interpretation of Decision Tree Ensemble Classifiers AAAI 2020 A FRAMEWORK FOR ROBUSTNESS CERTIFICATION OF SMOOTHED CLASSIFIERS USING F-DIVERGENCES ICLR 2020 A Simpler and Faster NIC Driver Model for Network Functions OSDI 2020 Assume-Guarantee Synthesis for Prompt Linear Temporal Logic IJCAI 2020 Automated Verification of Customizable Middlebox Properties with Gravel NSDI 2020 Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020 Branch and Bound for Piecewise Linear Neural Network Verification JMLR 2020 Clouseau: Generating Communication Protocols from Commitments AAAI 2020 Cobra: Making Transactional Key-Value Stores Verifiably Serializable OSDI 2020 Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer OSDI 2020 Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis AAAI 2020 Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020 Hierarchical Verification for Adversarial Robustness ICML 2020 In Search for a SAT-friendly Binarized Neural Network Architecture ICLR 2020