TWO LOCAL STRATEGY ITERATION SCHEMES FOR PARITY GAME SOLVING
From MaRDI portal
Publication:2909223
DOI10.1142/S0129054112400333zbMath1246.91025MaRDI QIDQ2909223
Martin Lange, Oliver Friedmann
Publication date: 30 August 2012
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0129054112400333
91A05: 2-person games
91A43: Games involving graphs
68Q60: Specification and verification (program logics, model checking, etc.)
03B80: Other applications of logic
Related Items
Uses Software
Cites Work