• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Synthesizing Permissive Winning Strategy Templates for Parity Games.

Ashwani AnandSatya Prakash NayakAnne-Kathrin Schmuck
Published in: CAV (1) (2023)
Keyphrases
  • winning strategy
  • proof procedures
  • database
  • knowledge base
  • expert systems
  • constraint satisfaction