Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
Abstract elided by the publisher.
Related papers
- Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, TACAS 2007
- Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs CAV 2006
- API-Guided Dataset Synthesis to Finetune Large Code Models OOPSLA 2025
- A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players GPCE 2022
- Attracting Tangles to Solve Parity Games CAV 2018
- Run-Time Optimization for Learned Controllers Through Quantitative Games CAV 2019
- Languages as first-class citizens (vision paper) SLE 2018
- Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios CAV 2023