Synthesizing Permissive Winning Strategy Templates for Parity Games.

Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck

Browse the full CAV paper archive.