"Fatal Attractors in Parity Games: Building Blocks for Partial Solvers."

Michael Huth, Jim Huan-Pu Kuo, Nir Piterman (2014)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2023-09-11

a service of  Schloss Dagstuhl - Leibniz Center for Informatics