_id,doi,title
2446,10.1007/978-3-642-39799-8_37,"Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis"
2238,10.1007/978-3-642-45221-5_17,"Multi-objective discounted reward verification in graphs and MDPs"
3116,10.1007/s10703-012-0170-4,"Code aware resource management"
5403,10.15479/AT:IST-2013-126-v1-1,"Qualitative analysis of concurrent mean-payoff games"
1374,10.4230/LIPIcs.CSL.2013.181,"Infinite-state games with finitary conditions"
2000,10.1007/978-3-642-39799-8_6,"TTP: Tool for tumor progression"
2858,10.1111/eva.12020,"The effect of one additional driver mutation on tumor progression"
2295,10.4230/LIPIcs.CSL.2013.165,"What is decidable about partially observable Markov decision processes with omega-regular objectives"
5408,10.15479/AT:IST-2013-141-v1-1,"The complexity of partial-observation stochastic parity games with finite-memory strategies"
5410,10.15479/AT:IST-2013-146-v1-1,"Automatic generation of alternative starting positions for traditional board games"
5377,10.15479/AT:IST-2012-0002,"Mean-payoff pushdown games"
2955,10.1109/LICS.2012.28,"Partial-observation stochastic games: How to win when belief fails"
2936,10.1145/2380356.2380370,"Finite automata with time delay blocks"
3314,10.1142/S0129054112400308,"Discounting and averaging in games across time scales"
496,10.1109/LICS.2012.65,"Interpretations in trees with countably many branches"
2715,10.4230/LIPIcs.FSTTCS.2012.461,"Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives"
3846,10.1016/j.jcss.2011.05.002,"A survey of stochastic ω regular games"
2848,10.1016/j.jtbi.2012.02.021,"Evolutionary game dynamics in populations with different learners"
2956,10.1109/LICS.2012.30,"Mean payoff pushdown games"
3341,10.1007/978-3-642-28729-9_18,"Robustness of structurally equivalent concurrent parity games"
3252,10.1007/978-3-642-27940-9_11,"Synthesizing protocols for digital contract signing"
497,10.4230/LIPIcs.CSL.2012.167,"Faster algorithms for alternating refinement relations"
5378,10.15479/AT:IST-2012-0001,"Faster algorithms for alternating refinement relations"
3157,10.1038/nature11219,"The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers"
2957,10.1109/LICS.2012.29,"Decidable problems for probabilistic automata on infinite words"
3260,10.1016/j.tpb.2011.11.003,"Evolutionary dynamics of biological auctions"
2972,10.1016/j.tcs.2012.07.038,"Energy parity games"
3165,10.1137/1.9781611973099.109,"An O(n2) time algorithm for alternating Büchi games"
3254,10.1016/j.ic.2011.11.004,"The complexity of stochastic Müller games"
2916,10.4204/EPTCS.96.3,"Interface Simulation Distances"
2947,10.1007/978-3-642-33386-6_30,"Equivalence of games with probabilistic uncertainty and partial observation 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"
495,10.4204/EPTCS.96.18,"A Myhill Nerode theorem for automata with advice"
3255,10.1007/978-3-642-25929-6_3,"Games and Markov decision processes with mean payoff parity and energy parity objectives"
3357,10.1007/978-3-642-21254-3_17,"The complexity of request-response games"
3338,,"Bounded rationality in concurrent parity games"
5384,10.15479/AT:IST-2011-0004,"Decidable problems for probabilistic automata on infinite words"
3345,10.1007/978-3-642-22993-0_21,"Energy and mean-payoff parity Markov Decision Processes"
3339,,"Magnifying lens abstraction for stochastic games with discounted and long-run average objectives"
3365,10.1007/978-3-642-19835-9_24,"QUASY: quantitative synthesis tool"
3315,10.2168/LMCS-7(4:8)2011,"Timed parity games: Complexity and robustness"
5380,10.15479/AT:IST-2011-0008,"Bounded rationality in concurrent parity games"
3346,10.1109/LICS.2011.10,"Two views on multiple mean payoff objectives in Markov Decision Processes"
5385,10.15479/AT:IST-2011-0003,"Temporal specifications with accumulative values"
5381,10.15479/AT:IST-2011-0007,"Partial-observation stochastic games: How to win when belief fails"
3366,"10.1007/978-3-642-22110-1_20 ","Quantitative synthesis for concurrent programs"
3361,10.1109/CSF.2011.21,"The complexity of quantitative information flow problems"
3347,10.1007/978-3-642-21254-3_16,"Finitary languages"
3354,10.1145/1970398.1970404,"Qualitative concurrent parity games"
5379,10.15479/AT:IST-2011-0009,"An O(n2) time algorithm for alternating Büchi games"
3342,10.1007/978-3-642-22110-1_21,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
3316,10.1109/SIES.2011.5953660,"Specification-centered robustness"
3343,10.1137/1.9781611973082.101,"Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification"
3348,10.1145/1967701.1967734,"Synthesis of memory efficient real time controllers for safety objectives"
3350,10.1007/978-3-642-24310-3_11,"Minimum attention controller synthesis for omega regular objectives"
5382,10.15479/AT:IST-2011-0006,"Robustness of structurally equivalent concurrent parity games"
5387,10.15479/AT:IST-2011-0001,"Energy and mean-payoff parity Markov decision processes"
3344,10.1007/978-3-642-24288-5_1,"Graph games with reachability objectives"
3363,,"The decidability frontier for probabilistic automata on infinite words"
3349,10.4204/EPTCS.54.6,"A reduction from parity games to simple stochastic games"
3351,10.1007/978-3-642-22953-4_13,"On memoryless quantitative objectives"
3356,10.1109/LICS.2011.33,"Temporal specifications with accumulative values"
3852,10.4204/EPTCS.25.6,"Discounting in games across time scales"
489,10.4204/EPTCS.25.7,"How do we remember the past in randomised strategies? "
3857,10.1007/978-3-642-15643-4_1,"Probabilistic Automata on infinite words: decidability and undecidability results"
3864,10.1007/978-3-642-14295-6_34,"Measuring and synthesizing systems in probabilistic environments"
3853,10.1007/978-3-642-15375-4_19,"Mean-payoff automaton expressions"
3865,10.1007/978-3-642-12029-9_21,"Analyzing the impact of change in multi-threaded programs"
3860,10.4230/LIPIcs.FSTTCS.2010.505,"Generalized mean-payoff and energy games"
3858,10.1007/978-3-642-16242-8_1,"The complexity of partial-observation parity games"
3866,10.1007/978-3-642-14295-6_36,"Robustness in the presence of liveness"
3854,10.1007/978-3-642-15375-4_20,"Obliging games"
3859,10.1007/978-3-642-15297-9,"Formal modeling and analysis of timed systems"
3861,10.1016/j.ic.2009.07.004,"Strategy logic"
4388,10.1007/978-3-642-14295-6_57,"GIST: A solver for probabilistic games"
3867,10.2168/LMCS-6(3:10)2010,"Expressiveness and closure properties for quantitative languages"
3855,10.1007/978-3-642-15155-2_24,"Qualitative analysis of partially-observable Markov Decision Processes"
3868,10.2168/LMCS-6(3:13)2010,"Algorithms for game metrics"
3863,10.1016/j.ic.2009.09.006,"Strategy construction for parity games with imperfect information"
5390,10.15479/AT:IST-2010-0002,"Topological, automata-theoretic and logical characterization of finitary languages"
3856,10.1007/978-3-642-15155-2_23,"Randomness for free"
3851,10.1007/978-3-642-14162-1_50,"Energy parity games"
5388,10.15479/AT:IST-2010-0004,"Quantitative synthesis for concurrent programs"
3871,10.1007/978-3-642-04081-8_17,"Probabilistic weighted automata"
4545,10.1007/978-3-642-02930-1_1,"A survey of stochastic games with limsup and liminf objectives"
4569,10.1007/978-3-642-02658-4_14,"Better quality in synthesis through quantitative objectives"
5392,10.15479/AT:IST-2009-0004,"Probabilistic automata on infinite words: Decidability and undecidability results"
4542,10.1007/978-3-642-03409-1_2,"Alternating weighted automata"
5393,10.15479/AT:IST-2009-0003,"Gist: A solver for probabilistic games"
4543,10.1007/978-3-642-03816-7_4,"Stochastic games with finitary objectives"
5394,10.15479/AT:IST-2009-0002,"Improved lower bounds for request-response and finitary Streett games"
3870,10.1145/1614431.1614432,"Finitary winning in omega-regular games"
5395,10.15479/AT:IST-2009-0001,"Qualitative analysis of partially-observable Markov decision processes"