p-Automata and Obligation Games | IEEE Conference Publication | IEEE Xplore