_id,doi,title
3876,10.1007/978-3-540-85778-5_10,Timed parity games: complexity and robustness