Concurrent Permissive Strategy Templates
Ashwani Anand, Christel Baier, Calvin Chau, Sascha Kl\"uppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck

TL;DR
This paper introduces ConSTels, a new representation for sets of randomized strategies in concurrent games, enabling efficient synthesis and runtime adaptation for reactive systems with complex objectives.
Contribution
We propose ConSTels, a novel concurrent permissive strategy template framework that supports incremental synthesis and online adaptation for concurrent games with safety and liveness objectives.
Findings
ConSTels efficiently encode infinite strategy families.
They enable incremental synthesis of complex objectives.
Prototype implementation demonstrates practical potential.
Abstract
Two-player games on finite graphs provide a rigorous foundation for modeling the strategic interaction between reactive systems and their environment. While concurrent game semantics naturally capture the synchronous interactions characteristic of many cyber-physical systems (CPS), their adoption in CPS design remains limited. Building on the concept of permissive strategy templates (PeSTels) for turn-based games, we introduce concurrent (permissive) strategy templates (ConSTels) -- a novel representation for sets of randomized winning strategies in concurrent games with Safety, B\"uchi, and Co-B\"uchi objectives. ConSTels compactly encode infinite families of strategies, thereby supporting both offline and online adaptation. Offline, we exploit compositionality to enable incremental synthesis: combining ConSTels for simpler objectives into non-conflicting templates for more complex…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Advanced Software Engineering Methodologies · Reinforcement Learning in Robotics
