Anne Condon Richard E. Ladner Probabilistic Game Automata. 144-162 1986 conf/coco/1986 Structure in Complexity Theory Conference db/conf/coco/coco1986.html#CondonL86