Synthesis for Human-in-the-Loop Control Systems
No abstract available.
Related papers
- Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages ECOOP 2026
- Verification-guided Programmatic Controller Synthesis TACAS 2023
- Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics CAV 2018
- Verifying and improving Halide's term rewriting system with program synthesis OOPSLA 2020
- Security-Aware Synthesis Using Delayed-Action Games CAV 2019
- A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems PLDI 2002
- LooPy: interactive program synthesis with control structures OOPSLA 2021
- Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models CAV 2020