Specification-Guided Reinforcement Learning
Abstract elided by the publisher.
Related papers
- Program Synthesis Using Deduction-Guided Reinforcement Learning CAV 2020
- Specification-Guided Learning of Nash Equilibria with High Social Welfare CAV 2022
- Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification (Invited Talk) CAV 2026
- Relational verification using reinforcement learning OOPSLA 2019
- Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations OOPSLA 2025
- An inductive synthesis framework for verifiable reinforcement learning PLDI 2019
- LLM-VeriOpt: Verification-Guided Reinforcement Learning for LLM-Based Compiler Optimization CGO 2026
- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning CAV 2022