Synthesizing Permissive Winning Strategy Templates for Parity Games.

Ashwani Anand Satya Prakash Nayak Anne-Kathrin Schmuck

Published in: CAV (1) (2023)

Keyphrases

winning strategy
proof procedures
database
knowledge base
expert systems
constraint satisfaction