Inproceedings,

Down the Borel Hierarchy: Solving Muller Games via Safety Games

, , and .
GandALF, volume 96 of EPTCS, page 169-182. (2012)

Meta data

Tags

    Users

    Comments and Reviews