Abstraction-Based Interaction Model for Synthesis
Abstract elided by the publisher.
Related papers
- Operationalizing the integration of user interaction specifications in the synthesis of modeling editors SLE 2019
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications CAV 2024
- Program synthesis: opportunities for the next decade ICFP 2015
- Comparative Synthesis: Learning Near-Optimal Network Designs by Query POPL 2023
- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs CAV 2021
- Data-driven synthesis for object-oriented frameworks OOPSLA 2011
- Interactive Synthesis of Code Snippets CAV 2011