_id,doi,title
3315,10.2168/LMCS-7(4:8)2011,Timed parity games: Complexity and robustness