formal verification

Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees NeurIPS 2023 Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements AAAI 2023 Efficient Certified Training and Robustness Verification of Neural ODEs ICLR 2023 Efficient Verification of Neural Networks Against LVM-Based Specifications CVPR 2023 Formalising the Robustness of Counterfactual Explanations for Neural Networks AAAI 2023 Formally Verified SAT-Based AI Planning AAAI 2023 Formally Verified Solution Methods for Markov Decision Processes AAAI 2023 Formal Verification of Bayesian Mechanisms AAAI 2023 Fundamental Limits in Formal Verification of Message-Passing Neural Networks ICLR 2023 Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract) IJCAI 2023 Holistic Adversarial Robustness of Deep Learning Models AAAI 2023 Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees AAAI 2023 Machines of Finite Depth: Towards a Formalization of Neural Networks AAAI 2023 Monitoring Arithmetic Temporal Properties on Finite Traces AAAI 2023 Nimble: Rollback Protection for Confidential Cloud Services OSDI 2023 Practical Model Reductions for Verification of Multi-Agent Systems IJCAI 2023 Provably Bounding Neural Network Preimages NeurIPS 2023 Reachability Analysis of Neural Network Control Systems AAAI 2023 Reachability Games Modulo Theories with a Bounded Safety Player AAAI 2023 Reactive Synthesis of Dominant Strategies AAAI 2023 RHINE: Robust and High-performance Internet Naming with E2E Authenticity NSDI 2023 Safe Interactive Autonomy for Multi-Agent Systems AAAI 2023 Safety Verification of Decision-Tree Policies in Continuous Time NeurIPS 2023 Second-Order Quantified Boolean Logic AAAI 2023 Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems OSDI 2023