_id,doi,title
5405,10.15479/AT:IST-2013-128-v1-1,Perfect-information stochastic mean-payoff parity games
5406,10.15479/AT:IST-2013-130-v1-1,Distributed synthesis for LTL Fragments
5408,10.15479/AT:IST-2013-141-v1-1,The complexity of partial-observation stochastic parity games with finite-memory strategies
5409,10.15479/AT:IST-2013-144-v1-1,Edit distance for timed automata
5410,10.15479/AT:IST-2013-146-v1-1,Automatic generation of alternative starting positions for traditional board games
1374,10.4230/LIPIcs.CSL.2013.181,Infinite-state games with finitary conditions
1376,10.1109/FMCAD.2013.6679386,Distributed synthesis for LTL fragments
9749,10.1371/journal.pone.0080814.s001,Forgiver triumphs in alternating prisoner's dilemma 
2715,10.4230/LIPIcs.FSTTCS.2012.461,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
2848,10.1016/j.jtbi.2012.02.021,Evolutionary game dynamics in populations with different learners
2916,10.4204/EPTCS.96.3,Interface Simulation Distances
2936,10.1145/2380356.2380370,Finite automata with time delay blocks
2947,10.1007/978-3-642-33386-6_30,Equivalence of games with probabilistic uncertainty and partial observation games
2955,10.1109/LICS.2012.28,Partial-observation stochastic games: How to win when belief fails
2956,10.1109/LICS.2012.30,Mean payoff pushdown games
2957,10.1109/LICS.2012.29,Decidable problems for probabilistic automata on infinite words
2972,10.1016/j.tcs.2012.07.038,Energy parity games
3128,10.1007/s10703-012-0164-2,A survey of partial-observation stochastic parity games
3135,10.1007/978-3-642-31424-7_8,Efficient controller synthesis for consumption games with multiple resource types
3157,10.1038/nature11219,The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers