Alternating Good-for-MDPs Automata.

Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak

Browse the full ATVA paper archive.