https://5dok.org/document/rz33wn8z-strategy-synthesis-problems-modeled-single-player-imperfect-information.html