Parity game reductions

S. Cranen, J.J.A. Keiren, T.A.C. Willemse

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)401-444
Number of pages44
JournalActa Informatica
Volume55
Issue number5
DOIs
Publication statusPublished - Aug 2018

Keywords

  • parity games
  • model checking
  • formal methods
  • bisimulation
  • SIMULATION RELATIONS
  • MODEL-CHECKING
  • BOOLEAN EQUATION SYSTEMS
  • BRANCHING BISIMILARITY
  • INFINITE GAMES
  • BUCHI AUTOMATA
  • GRAPHS
  • AUTOMATA

Fingerprint

Dive into the research topics of 'Parity game reductions'. Together they form a unique fingerprint.

Cite this