@article{CP17, author = {K. Chatterjee and N. Piterman}, title = {Obligation Blackwell Games and p-Automata}, journal = {Journal of Symbolic Logic}, volume = {82}, number = {2}, pages = {420-452}, year = {2017}, OPTpublisher = acm, pdf = {2017/CP17.pdf}, OPTurl = {2017/CP17.html}, keywords = {Automata,Games}, }