Synthesizing Permissive Winning Strategy Templates for Parity Games.

Ashwani Anand Satya Prakash Nayak Anne-Kathrin Schmuck

Published in: CoRR (2023)

Keyphrases

winning strategy
proof procedures
databases
query processing
integrity constraints
incomplete information