DOI,IST REx ID,Research Group,Title of publication
10.2168/LMCS-7(4:8)2011,3315,"KrCh,ToHe",Timed parity games: Complexity and robustness