conftrace_

formal verification

284 papers

Explore in graph

Also known as

FV

Co-occurring keywords

neural network verification (106) adversarial robustness (1341) model checking (105) neural network (6616) temporal logic (105) theorem proving (63) large language model (13587) linear temporal logic (82) multi-agent system (1819) automated reasoning (122)

Papers

Synthesizing Runtime Programmable Switch Updates NSDI 2023
Nimble: Rollback Protection for Confidential Cloud Services OSDI 2023
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems OSDI 2023
Reachability Analysis of Neural Network Control Systems AAAI 2023
Formalising the Robustness of Counterfactual Explanations for Neural Networks AAAI 2023
Specifying and Testing k-Safety Properties for Machine-Learning Models IJCAI 2023
Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract) IJCAI 2023
Reachability Games Modulo Theories with a Bounded Safety Player AAAI 2023
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees NIPS 2023
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks NIPS 2023
Provably Bounding Neural Network Preimages NIPS 2023
Safety Verification of Decision-Tree Policies in Continuous Time NIPS 2023
Towards Formal Verification of Neuro-symbolic Multi-agent Systems IJCAI 2023
Monitoring Arithmetic Temporal Properties on Finite Traces AAAI 2023
Efficient Verification of Neural Networks Against LVM-Based Specifications CVPR 2023
Practical Model Reductions for Verification of Multi-Agent Systems IJCAI 2023
Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning IJCAI 2023
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks IJCAI 2023
Combining Runtime Monitoring and Machine Learning with Human Feedback AAAI 2023
Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023
Formally Verified Solution Methods for Markov Decision Processes AAAI 2023
Formally Verified SAT-Based AI Planning AAAI 2023
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees AAAI 2023
Safe Interactive Autonomy for Multi-Agent Systems AAAI 2023
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing OSDI 2023