Krishnendu Chatterjee, Nir Piterman. Obligation Blackwell Games and P-Automata. Journal of Symbolic Logic, 82(2):420-452, 2017. [doi]
@article{ChatterjeeP17,
title = {Obligation Blackwell Games and P-Automata},
author = {Krishnendu Chatterjee and Nir Piterman},
year = {2017},
doi = {10.1017/jsl.2016.71},
url = {https://doi.org/10.1017/jsl.2016.71},
researchr = {https://researchr.org/publication/ChatterjeeP17},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {82},
number = {2},
pages = {420-452},
}