_id,doi,title
2052,10.1007/978-3-662-44584-6_9,Parameterized model checking of rendezvous systems
2053,10.1007/978-3-662-44584-6_18,Probabilistic bisimulation: Naturally on distributions
2054,10.1007/978-3-662-44584-6_37,Qualitative concurrent parity games: Bounded rationality
2063,10.1007/978-3-319-08867-9_31,CEGAR for qualitative analysis of probabilistic systems
2141,10.1145/2597631,Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
2162,10.1007/978-3-662-43951-7_11,The complexity of ergodic mean payoff games
2163,10.1007/978-3-662-43951-7_10,Games with a weak adversary
2187,10.1007/s00236-013-0191-5,Synthesizing robust systems
2190,10.1007/978-3-319-08867-9_13,From LTL to deterministic automata: A safraless compositional approach
2211,10.1145/2579821,Partial-observation stochastic games: How to win when belief fails
2212,10.1007/978-3-642-54830-7_14,Perfect-information stochastic mean-payoff parity games
2213,10.1007/978-3-642-54830-7_16,The complexity of partial-observation stochastic parity games with finite-memory strategies
2216,10.1145/2562059.2562141,Edit distance for timed automata
2234,10.2168/LMCS-10(1:13)2014,Markov decision processes with multiple long-run average objectives
2246,10.1016/j.tcs.2013.11.032,Alternating traps in Muller and parity games
475,10.4204/EPTCS.146.11,First cycle games
535,10.1007/s00453-013-9843-7,Polynomial-time algorithms for energy games with special weight structures
5412,10.15479/AT:IST-2014-153-v1-1,CEGAR for qualitative analysis of probabilistic systems
5413,10.15479/AT:IST-2014-153-v2-2,CEGAR for qualitative analysis of probabilistic systems
5414,10.15479/AT:IST-2014-153-v3-1,CEGAR for qualitative analysis of probabilistic systems