autoCode4: Structural Controller Synthesis
Abstract elided by the publisher.
Related papers
- FrAngel: component-based synthesis with control structures POPL 2019
- Reward-Guided Synthesis of Intelligent Agents with Control Structures PLDI 2024
- Structural Synthesis for GXW Specifications CAV 2016
- LooPy: interactive program synthesis with control structures OOPSLA 2021
- Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis CAV 2019
- Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control CAV 2025
- Geometry of synthesis: a structured approach to VLSI design POPL 2007
- Hybrid Game Control Envelope Synthesis OOPSLA 2026