A Cure for Stuttering Parity Games

DOI10.1007/978-3-642-32943-2_16zbMath1362.68165OpenAlexW2105326662MaRDI QIDQ2915107

Jeroen J. A. Keiren, Sjoerd Cranen, Tim A. C. Willemse

Publication date: 21 September 2012

Published in: Theoretical Aspects of Computing – ICTAC 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32943-2_16

Mathematics Subject Classification ID

Games involving graphs (91A43) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation ⋮ Cooking Your Own Parity Game Preorders Through Matching Plays ⋮ Parity game reductions ⋮ Unnamed Item

This page was built for publication: A Cure for Stuttering Parity Games