_id,doi,title
699,10.1073/pnas.1702020114,"The red queen and king in finite populations"
719,10.1007/s00236-017-0299-0,"Special issue: Synthesis and SYNT 2014"
1009,,"Optimizing expectation with guarantees in POMDPs"
1066,10.1016/j.ic.2016.10.006,"Quantitative fair simulation games"
1080,10.1038/ncomms14114,"Reconstructing metastatic seeding patterns of human cancers"
1294,10.1016/j.jcss.2016.09.009,"Trading performance for stability in Markov decision processes"
466,10.23638/LMCS-13(2:15)2017,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
625,10.1007/978-3-319-63121-9_18,"The cost of exactness in quantitative reachability"
1011,10.1007/978-3-662-54434-1_11,"Faster algorithms for weighted recursive state machines"
512,10.1038/s41598-017-00107-w,"Amplification on undirected population structures: Comets beat stars"
5456,10.15479/AT:IST-2017-872-v1-1,"Data-centric dynamic partial order reduction"
551,10.4230/LIPIcs.MFCS.2017.61,"Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs"
1194,10.1145/3009837.3009873,"Stochastic invariants for probabilistic termination"
467,10.1145/3152769,"Nested weighted automata"
645,10.1007/978-3-319-63387-9_10,"Value iteration for long run average reward in markov decision processes"
671,10.1073/pnas.1621239114,"Memory-n strategies of direct reciprocity"
950,10.4230/LIPIcs.CONCUR.2017.21,"Infinite-duration bidding games"
684,10.1017/jsl.2016.71,"Obligation blackwell games and p-automata"
711,10.4230/LIPIcs.CONCUR.2017.5,"Bidirectional nested weighted automata"
552,10.4230/LIPIcs.MFCS.2017.39,"Faster algorithms for mean payoff parity games"
653,10.1038/ng.3764,"Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer"
716,10.1145/3121408,"The complexity of mean-payoff pushdown games"
949,10.1007/978-3-319-68167-2_4,"JTDec: A tool for tree decompositions in soot"
639,10.1007/978-3-319-63390-9_3,"Non-polynomial worst case analysis of recursive programs"
553,10.4230/LIPIcs.MFCS.2017.55,"Strategy complexity of concurrent safety games"
464,10.23638/LMCS-13(3:26)2017,"Improved algorithms for parity and Streett objectives"
628,10.1007/978-3-319-63387-9_6,"Automated recurrence analysis for almost linear expected runtime bounds"
6519,10.4230/LIPICS.CSL.2017.18,"Improved set-based symbolic algorithms for parity games"
717,10.1016/j.jcss.2017.04.005,"Hyperplane separation technique for multidimensional mean-payoff games"
5559,10.15479/AT:ISTA:51,"Strong amplifiers of natural selection"
1200,10.1016/j.plrev.2016.10.004,"Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze"
1325,10.4230/LIPIcs.CONCUR.2016.10,"Stability in graphs and games"
1426,10.1098/rsos.160036,"Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites"
1166,,"A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps"
1438,10.1145/2837614.2837639,"Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs"
1326,10.1007/978-3-319-46520-3_3,"Optimizing the expected mean payoff in Energy Markov Decision Processes"
1333,10.1038/ncomms10915,"Humans choose representatives who enforce cooperation in social dilemmas through extortion"
478,10.3233/978-1-61499-672-9-1432,"The complexity of deciding legality of a single step of magic: The gathering"
1340,10.1007/978-3-662-53354-3_6,"The big match in small space"
1477,10.1016/j.jcss.2016.02.009,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
480,10.1145/2933575.2934513,"Perfect-information stochastic games with generalized mean-payoff objectives"
1245,10.1145/2818052.2869122,"Game-theoretic models identify useful principles for peer collaboration in online learning platforms"
1322,10.1371/journal.pone.0163867,"Asymmetric power boosts extortion in an economic experiment"
1423,10.1038/srep25676,"Comparing reactive and memory-one strategies of direct reciprocity"
5451,10.15479/AT:IST-2016-728-v1-1,"Strong amplifiers of natural selection"
1093,10.4230/LIPIcs.CONCUR.2016.20,"Linear distances between Markov chains"
1182,,"Robust draws in balanced knockout tournaments"
1327,,"Stochastic shortest path with energy constraints in POMDPs"
1389,10.1145/2933575.2934548,"On recurrent reachability for continuous linear dynamical systems"
5449,10.15479/AT:IST-2016-648-v1-1,"Amplification on undirected population structures: Comets beat stars"
1529,10.1016/j.artint.2016.01.007,"Optimal cost almost-sure reachability in POMDPs"
1380,10.1145/2857050,"On the complexity of the orbit problem"
1397,,"Algorithms for partially observable markov decision processes"
1518,10.1534/genetics.115.183814,"Efficient strategies for calculating blockwise likelihoods under the coalescent"
1068,10.4230/LIPIcs.MFCS.2016.25,"Conditionally optimal algorithms for generalized Büchi Games"
1070,10.4230/LIPIcs.ICALP.2016.98,"Computation tree logic for synchronization properties"
1138,10.1145/2933575.2933588,"Quantitative automata under probabilistic semantics"
1140,10.1145/2933575.2935304,"Model and objective separation with conditional lower bounds disjunction is harder than conjunction"
1335,10.1007/978-3-662-53413-7_2,"Quantitative monitor automata"
5445,10.15479/AT:IST-2016-523-v1-1,"Quantitative interprocedural analysis"
5452,10.15479/AT:IST-2017-728-v2-1,"Arbitrarily strong amplifiers of natural selection"
1069,10.4230/LIPIcs.ICALP.2016.100,"On the skolem problem for continuous linear dynamical systems"
1090,10.4230/LIPIcs.MFCS.2016.24,"Nested weighted limit-average automata of bounded width"
1324,,"Indefinite-horizon reachability in Goal-DEC-POMDPs"
1386,10.1007/978-3-319-41528-4_1,"Termination analysis of probabilistic programs through Positivstellensatz's"
1071,10.4230/LIPIcs.ESA.2016.28,"Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs"
1437,10.1145/2837614.2837624,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
5453,10.15479/AT:IST-2017-749-v3-1,"Arbitrarily strong amplifiers of natural selection"
5430,10.15479/AT:IST-2015-319-v1-1,"Faster algorithms for quantitative verification in constant treewidth graphs"
1609,10.1007/978-3-662-47666-6_9,"The complexity of synthesis from probabilistic components"
1673,10.1098/rspa.2015.0114,"Amplifiers of selection"
1856,10.1145/2699430,"Measuring and synthesizing systems in probabilistic environments"
1882,10.1007/978-3-319-15317-9_19,"Compositionality for quantitative specifications"
1731,10.1016/j.ic.2015.06.003,"Randomness for free"
1661,10.1109/LICS.2015.34,"Improved algorithms for one-pair and k-pair Streett objectives"
5435,10.15479/AT:IST-2015-318-v2-1,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
523,10.1016/j.ic.2015.03.010,"Looking at mean-payoff and total-payoff through windows"
1604,10.1145/2676726.2676968,"Quantitative interprocedural analysis"
1820,,"Optimal cost almost-sure reachability in POMDPs"
1851,10.1111/evo.12618,"Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating"
1559,10.1073/pnas.1511366112,"Computational complexity of ecological and evolutionary spatial dynamics"
1667,10.1007/978-3-319-22264-6_10,"Optimizing performance of continuous-time stochastic systems using timeout synthesis"
524,10.1016/j.ic.2015.03.009,"Qualitative analysis of concurrent mean payoff games"
5431,10.15479/AT:IST-2015-322-v1-1,"The patience of concurrent stochastic games with safety and reachability objectives"
5443,10.15479/AT:IST-2015-325-v2-1,"A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs"
1624,10.1038/srep17147,"Cellular cooperation with shift updating and repulsion"
1681,10.3390/g6040413,"Evolution of decisions in population games with sequentially searching individuals"
1732,10.1109/ICRA.2015.7139019,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
1698,10.1016/j.ic.2015.03.001,"The complexity of multi-mean-payoff and multi-energy games"
1838,10.1007/978-3-662-46681-0_50,"Assume-guarantee synthesis for concurrent reactive programs with partial information"
5429,10.15479/AT:IST-2015-318-v1-1,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
5436,10.15479/AT:IST-2015-170-v2-2,"Nested weighted automata"
5549,10.15479/AT:ISTA:28,"Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes"
5444,10.15479/AT:IST-2015-399-v1-1,"Reconstructing robust phylogenies of metastatic cancers"
5432,10.15479/AT:IST-2015-323-v1-1,"The complexity of evolutionary games on graphs"
5437,10.15479/AT:IST-2015-330-v2-1,"Faster algorithms for quantitative verification in constant treewidth graphs"
1839,10.1007/978-3-662-46681-0_12,"Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives"
2034,10.1016/j.ipl.2014.09.001,"Probabilistic opacity for Markov decision processes"
1694,10.1109/TAC.2015.2404612,"Quantitative temporal simulation and refinement distances for timed systems"
1656,10.1109/LICS.2015.72,"Nested weighted automata"
1598,10.1016/j.tcs.2015.01.050,"Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives"
1714,10.1109/RTSS.2014.9,"A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks"
1601,10.1007/978-3-319-21690-4_31,"The Hanoi omega-automata format"
1846,10.1007/s00236-015-0215-4,"Refinement checking on parametric modal transition systems"
1873,10.1016/j.artint.2014.12.009,"POMDPs under probabilistic semantics"
5440,10.15479/AT:IST-2015-323-v2-2,"The complexity of evolutionary games on graphs"
1501,10.1007/s10703-015-0235-2,"CEGAR for compositional analysis of qualitative properties in Markov decision processes"
1594,10.1007/978-3-662-48899-7_12,"Controller synthesis for MDPs and frequency LTL\GU"
1657,10.1109/LICS.2015.32,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
5438,10.15479/AT:IST-2015-334-v1-1,"Edit distance for pushdown automata"
1602,10.1145/2676726.2676979,"Faster algorithms for algebraic path properties in recursive state machines with constant treewidth"
1607,10.1007/978-3-319-21690-4_9,"Faster algorithms for quantitative verification in constant treewidth graphs"
1481,,"Automatic generation of alternative starting positions for simple traditional board games"
1400,,"The subclonal evolution of cancer"
1660,10.1109/LICS.2015.15,"Long-run average behaviour of probabilistic vector addition systems"
1502,10.1145/2737166.2737175,"Complete composition operators for IOCO-testing theory"
1499,10.4230/LIPIcs.CONCUR.2015.142,"Polynomial time decidability of weighted synchronization under partial observability"
1689,10.1145/2728606.2728608,"Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games"
1691,10.1145/2728606.2728617,"Temporal logic motion planning using POMDPs with parity objectives: Case study paper"
1610,10.1007/978-3-662-47666-6_10,"Edit distance for pushdown automata"
1603,10.1007/978-3-319-21690-4_10,"Counterexample explanation by learning small strategies in Markov decision processes"
5441,10.15479/AT:IST-2015-340-v1-1,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
1709,10.1098/rspb.2015.1041,"Biological auctions with multiple rewards"
1665,10.1038/nature15395,"Mutations driving CLL and their evolution in progression and relapse"
2246,10.1016/j.tcs.2013.11.032,"Alternating traps in Muller and parity games"
5428,10.15479/AT:IST-2014-315-v1-1,"Quantitative fair simulation games"
1375,10.1016/j.tcs.2014.06.031,"Approximating the minimum cycle mean"
2234,10.2168/LMCS-10(1:13)2014,"Markov decision processes with multiple long-run average objectives"
2190,10.1007/978-3-319-08867-9_13,"From LTL to deterministic automata: A safraless compositional approach"
2063,10.1007/978-3-319-08867-9_31,"CEGAR for qualitative analysis of probabilistic systems"
535,10.1007/s00453-013-9843-7,"Polynomial time algorithms for energy games with special weight structures"
5423,10.15479/AT:IST-2014-300-v1-1,"A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks"
2052,10.1007/978-3-662-44584-6_9,"Parameterized model checking of rendezvous systems"
2216,10.1145/2562059.2562141,"Edit distance for timed automata"
5424,10.15479/AT:IST-2014-305-v1-1,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
1903,10.1007/978-3-662-44522-8_1,"Partial-observation stochastic reachability and parity games"
5412,10.15479/AT:IST-2014-153-v1-1,"CEGAR for qualitative analysis of probabilistic systems"
2716,10.1007/s00236-013-0182-6,"Strategy synthesis for multi-dimensional quantitative objectives"
2141,10.1145/2597631,"Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition"
2211,10.1145/2579821,"Partial-observation stochastic games: How to win when belief fails"
2038,10.1145/2629686,"Temporal specifications with accumulative values"
1853,10.1109/IOT.2014.7030120,"Game theoretic secure localization in wireless sensor networks"
1884,,"Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples"
5420,10.15479/AT:IST-2014-191-v1-1,"The value 1 problem for concurrent mean-payoff games"
2027,10.1007/978-3-319-11936-6_8,"Verification of markov decision processes using learning algorithms"
2039,10.1371/journal.pcbi.1003818,"The time scale of evolutionary innovation"
2053,10.1007/978-3-662-44584-6_18,"Probabilistic bisimulation: Naturally on distributions"
2212,10.1007/978-3-642-54830-7_14,"Perfect-information stochastic mean-payoff parity games"
5413,10.15479/AT:IST-2014-153-v2-2,"CEGAR for qualitative analysis of probabilistic systems"
5418,10.15479/AT:IST-2014-176-v1-1,"Games with a weak adversary"
1733,10.1016/j.tcs.2014.08.019,"Interface simulation distances"
5419,10.15479/AT:IST-2014-187-v1-1,"Improved algorithms for reachability and shortest path on low tree-width graphs"
5421,10.15479/AT:IST-2014-190-v2-2,"The complexity of evolution on graphs"
5426,10.15479/AT:IST-2014-305-v2-1,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
2213,10.1007/978-3-642-54830-7_16,"The complexity of partial-observation stochastic parity games with finite-memory strategies"
2162,10.1007/978-3-662-43951-7_11,"The complexity of ergodic mean payoff games"
5414,10.15479/AT:IST-2014-153-v3-1,"CEGAR for qualitative analysis of probabilistic systems"
2054,10.1007/978-3-662-44584-6_37,"Qualitative concurrent parity games: Bounded rationality"
475,10.4204/EPTCS.146.11,"First cycle games"
5427,10.15479/AT:IST-2014-314-v1-1,"Optimal tree-decomposition balancing and reachability on low treewidth graphs"
2163,10.1007/978-3-662-43951-7_10,"Games with a weak adversary"
5415,10.15479/AT:IST-2014-170-v1-1,"Nested weighted automata"
2187,10.1007/s00236-013-0191-5,"Synthesizing robust systems"
2816,10.7554/eLife.00747,"Evolutionary dynamics of cancer in response to targeted combination therapy"
5409,10.15479/AT:IST-2013-144-v1-1,"Edit distance for timed automata"
5404,10.15479/AT:IST-2013-127-v1-1,"The complexity of ergodic games"
2854,10.1016/j.jcss.2012.12.001,"Strategy improvement for concurrent reachability and turn based stochastic safety games"
2292,10.1007/978-3-642-40313-2,"Mathematical Foundations of Computer Science 2013"
1376,10.1109/FMCAD.2013.6679386,"Distributed synthesis for LTL fragments"
2247,10.1371/journal.pone.0080814,"Forgiver triumphs in alternating prisoner's dilemma "
2305,10.1109/LICS.2013.39,"Trading performance for stability in Markov decision processes"
5405,10.15479/AT:IST-2013-128-v1-1,"Perfect-information stochastic mean-payoff parity games"
5400,10.15479/AT:IST-2013-109-v1-1,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
2444,10.1007/978-3-642-39799-8_36,"Faster algorithms for Markov decision processes with low treewidth"
2824,10.1016/j.ic.2013.04.003,"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems"
2836,10.1007/s00165-013-0283-6,"Assume-guarantee synthesis for digital contract signing"
2817,10.1016/j.jtbi.2013.05.029,"Density games"
2886,10.1007/978-3-642-36046-6_12,"Controllable-choice message sequence graphs"
2329,10.1007/978-3-642-40184-8_35,"Hyperplane separation technique for multidimensional mean-payoff games"
2831,10.1007/s10703-012-0180-2,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
5406,10.15479/AT:IST-2013-130-v1-1,"Distributed synthesis for LTL Fragments"
2279,10.1007/978-3-319-02444-8_10,"Looking at mean-payoff and total-payoff through windows"
2820,10.1145/2461328.2461356,"Automated analysis of real-time scheduling using graph games"
5399,10.15479/AT:IST-2013-104-v1-1,"TTP: Tool for Tumor Progression"
2299,10.1007/s10009-011-0207-9,"Synthesis of AMBA AHB from formal specification: A case study"
2814,10.1142/S0129054113400066,"The complexity of coverage"
2819,10.1145/2461328.2461370,"Quantitative timed simulation functions and refinement metrics for real-time systems"
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"