Synthesizing Processes and Schedulers from Temporal Specifications
Abstract elided by the publisher.
Related papers
- Synthesis of coordination programs from linear temporal specifications POPL 2020
- Synthesis of Concurrent Systems with Many Similar Sequential Processes POPL 1989
- Synthesis of Concurrent Systems with Many Similar Processes TOPLAS 1998
- Temporal Stream Logic: Synthesis Beyond the Bools CAV 2019
- Compiling Real-Time Programs into Schedulable Code PLDI 1993
- Interactive synthesis of temporal specifications from examples and natural language OOPSLA 2020
- Can reactive synthesis and syntax-guided synthesis be friends? PLDI 2022
- Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks CAV 2025