"Timed Parity Games: Complexity and Robustness"

Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu (2011)

Details and statistics

DOI: 10.2168/LMCS-7(4:8)2011

access: open

type: Journal Article

metadata version: 2023-04-16

a service of  Schloss Dagstuhl - Leibniz Center for Informatics