Template-Based Controller Synthesis for Timed Systems
Abstract elided by the publisher.
Related papers
- Stochastic Omega-Regular Verification and Control with Supermartingales CAV 2024
- Supermartingale Certificates for Quantitative Omega-Regular Verification and Control CAV 2025
- Synthesis of Recursive ADT Transformations from Reusable Templates TACAS 2017
- Synthesizing Permissive Winning Strategy Templates for Parity Games CAV 2023
- Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems CAV 2010
- Fast Constraint Synthesis for C++ Function Templates OOPSLA 2025
- Graphical Template Language for Transformation Synthesis SLE 2009
- Natural synthesis of provably-correct data-structure manipulations OOPSLA 2017