Poster Abstract: Permissiveness for Strategy Adaptation
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck · 2023
This paper presents a new method to automatically compute permissive strategies and permissive assumptions in ω -regular two-player games on graphs to enable strategy adaptation both during synthesis and execution of distributed symbolic controllers.