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

Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation AISTATS 2024
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties IJCAI 2024
Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024
A Survey of Robotic Language Grounding: Tradeoffs between Symbols and Embeddings IJCAI 2024
VeriSMo: A Verified Security Module for Confidential VMs OSDI 2024
DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction AAAI 2024
End-to-End Verification for Subgraph Solving AAAI 2024
The Logic of Doxastic Strategies AAAI 2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic NIPS 2024
Selene: Pioneering Automated Proof in Software Verification ACL 2024
Proving Theorems Recursively NIPS 2024
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs AAAI 2024
Critically Assessing the State of the Art in Neural Network Verification JMLR 2024
Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales AAAI 2024
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees AAAI 2024
Formally Verified Solution Methods for Markov Decision Processes AAAI 2023
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks NIPS 2023
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees NIPS 2023
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements AAAI 2023
Safe Interactive Autonomy for Multi-Agent Systems AAAI 2023
RHINE: Robust and High-performance Internet Naming with E2E Authenticity NSDI 2023
Formally Verified SAT-Based AI Planning AAAI 2023