https://9lib.org/document/qo5ov9vm-nonzero-semi-markov-games-with-countable-state-spaces.html