Fixed-point logics and solitaire games

DOI10.1007/s00224-004-1147-5zbMath1061.68100OpenAlexW1963823779MaRDI QIDQ1764420

Dietmar Berwanger, Erich Grädel

Publication date: 24 February 2005

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-004-1147-5

zbMATH Keywords

model-checking games

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Deciding Parity Games in Quasi-polynomial Time ⋮ Alternating traps in Muller and parity games ⋮ Robust worst cases for parity games algorithms ⋮ Unnamed Item ⋮ The Descriptive Complexity of Parity Games ⋮ Solving parity games via priority promotion ⋮ New deterministic algorithms for solving parity games

This page was built for publication: Fixed-point logics and solitaire games