Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training
Abstract elided by the publisher.
Related papers
- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning CAV 2022
- MoGym: Using Formal Models for Training and Verifying Decision-making Agents CAV 2022
- Verifying Generalization in Deep Learning CAV 2023
- Solving PBQP-Based Register Allocation using Deep Reinforcement Learning CGO 2022
- CertRL: formalizing convergence proofs for value and policy iteration in Coq CPP 2021
- LLM-VeriOpt: Verification-Guided Reinforcement Learning for LLM-Based Compiler Optimization CGO 2026
- Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks CAV 2025
- Specification-Guided Learning of Nash Equilibria with High Social Welfare CAV 2022