Synthesizing Efficient Controllers
Abstract elided by the publisher.
Related papers
- SemML 2.0: Synthesizing Controllers for LTL CAV 2026
- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation CAV 2021
- On Synthesizing Controllers from Bounded-Response Properties CAV 2007
- Modeling black-box components with probabilistic synthesis GPCE 2020
- FrAngel: component-based synthesis with control structures POPL 2019
- Natural synthesis of provably-correct data-structure manipulations OOPSLA 2017
- Program Synthesis from Partial Traces PLDI 2025
- Synthesizing Permissive Winning Strategy Templates for Parity Games CAV 2023