@string{ieee="IEEE"} @InProceedings{Pit11, author = {N. Piterman}, title = {p-Automata and Obligation Games}, booktitle = {18th International Symposium on Temporal Representation and Reasoning}, pages = {3--6}, year = {2011}, pdf = {2011/Pit11.pdf}, url = {2011/Pit11.html}, publisher = ieee, keywords = {Automata,Games}, }