_id,doi,title
6490,10.1145/3297280.3297322,"The treewidth of smart contracts"
5948,10.1007/978-3-030-11245-5_22,"Termination of nondeterministic probabilistic programs"
6175,,"Cost analysis of nondeterministic probabilistic programs"
6056,,"Probabilistic smart contracts: Secure randomness on the blockchain"
6380,10.1145/3290366,"Efficient parameterized algorithms for data packing"
6378,10.1145/3297280.3297319,"Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving"
6462,10.1007/978-3-030-25540-4_36,"Run-time optimization for learned controllers through quantitative games"
6780,,"Modular verification for almost-sure termination of probabilistic programs"
143,10.1145/3209108.3209191,"Efficient algorithms for asymptotic bounds on termination time in VASS"
198,10.1098/rsif.2018.0073,"Language acquisition with communication between learners"
35,,"Algorithms and conditional lower bounds for planning problems"
59,10.1007/978-3-319-10575-8_27,"Graph games and reactive synthesis"
66,10.4230/LIPIcs.CONCUR.2018.11,"Ergodic mean-payoff games for the analysis of attacks in crypto-currencies."
24,10.24963/ijcai.2018/652,"Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives"
310,10.1137/1.9781611975031.151,"Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety and diameter"
454,10.1038/s41467-017-02721-8,"Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness"
6009,10.1145/3210257,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
5993,10.1145/3174800,"Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs"
6340,,"Secure Credit Reporting on the Blockchain"
79,10.1007/978-3-319-99154-2_4,"Parameter-independent strategies for pMDPs via POMDPs"
738,10.1007/s11241-017-9293-4,"Automated competitive analysis of real time scheduling with graph games"
86,10.1007/978-3-319-95246-8_9,"Computing average response time"
157,10.1038/s41586-018-0277-x,"Evolution of cooperation in stochastic games"
25,"10.24963/ijcai.2018/662 ","Goal-HSVI: Heuristic search value iteration for goal-POMDPs"
311,10.1007/978-3-319-89884-1_26,"Quantitative analysis of smart contracts"
141,10.1007/978-3-319-96142-2_13,"Symbolic algorithms for graphs and Markov decision processes with fairness objectives"
2,"10.1073/pnas.1810565115 ","Indirect reciprocity with private noisy and incomplete information"
297,10.1007/978-3-319-89960-2_21,"Strategy representation by decision trees in reactive synthesis"
325,10.1145/3158122,"Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs"
34,,"Sensor synthesis for POMDPs with reachability objectives"
419,10.1038/s41562-018-0320-9,"Partners and rivals in direct reciprocity"
5679,10.1007/978-3-030-02768-1_11,"New approaches for almost-sure termination of probabilistic programs"
5977,,"Computational Approaches for Stochastic Shortest Path on Succinct MDPs"
5751,10.1038/s42003-018-0078-7,"Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory"
1065,10.1016/j.ipl.2017.02.003,"Pushdown reachability with constant treewidth"
1407,10.1016/j.nahs.2016.04.006,"Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games"
465,10.23638/LMCS-13(3:23)2017,"Edit distance for pushdown automata"
681,10.1016/j.ic.2016.10.012,"Doomsday equilibria for omega-regular games"
744,10.1016/j.jtbi.2017.08.025,"Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma"
1009,,"Optimizing expectation with guarantees in POMDPs"
1011,10.1007/978-3-662-54434-1_11," Faster algorithms for weighted recursive state machines"
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"
1066,10.1016/j.ic.2016.10.006,"Quantitative fair simulation games"
512,10.1038/s41598-017-00107-w,"Amplification on undirected population structures: Comets beat stars"
5455,10.15479/AT:IST-2017-870-v1-1,"Optimal Dyck reachability for data-dependence and alias analysis"
625,10.1007/978-3-319-63121-9_18,"The cost of exactness in quantitative reachability"
719,10.1007/s00236-017-0299-0,"Special issue: Synthesis and SYNT 2014"
1194,10.1145/3009837.3009873,"Stochastic invariants for probabilistic termination"
467,10.1145/3152769,"Nested weighted automata"
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"
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"
552,10.4230/LIPIcs.MFCS.2017.39,"Faster algorithms for mean payoff parity games"
639,10.1007/978-3-319-63390-9_3,"Non-polynomial worst case analysis of recursive programs"
653,10.1038/ng.3764,"Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer"
684,10.1017/jsl.2016.71,"Obligation blackwell games and p-automata"
711,10.4230/LIPIcs.CONCUR.2017.5,"Bidirectional nested weighted automata"
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"
464,10.23638/LMCS-13(3:26)2017,"Improved algorithms for parity and Streett objectives"
553,10.4230/LIPIcs.MFCS.2017.55,"Strategy complexity of concurrent safety games"
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"
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"
478,10.3233/978-1-61499-672-9-1432,"The complexity of deciding legality of a single step of magic: The gathering"
480,10.1145/2933575.2934513,"Perfect-information stochastic games with generalized mean-payoff objectives"
1477,10.1016/j.jcss.2016.02.009,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
1182,,"Robust draws in balanced knockout tournaments"
1245,10.1145/2818052.2869122,"Game-theoretic models identify useful principles for peer collaboration in online learning platforms"
1327,,"Stochastic shortest path with energy constraints in POMDPs"
1529,10.1016/j.artint.2016.01.007,"Optimal cost almost-sure reachability in POMDPs"
5449,10.15479/AT:IST-2016-648-v1-1,"Amplification on undirected population structures: Comets beat stars"
5451,10.15479/AT:IST-2016-728-v1-1,"Strong amplifiers of natural selection"
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"
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"
5453,10.15479/AT:IST-2017-749-v3-1,"Arbitrarily strong amplifiers of natural selection"
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"
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"
1820,,"Optimal cost almost-sure reachability in POMDPs"
1856,10.1145/2699430,"Measuring and synthesizing systems in probabilistic environments"
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"
523,10.1016/j.ic.2015.03.010,"Looking at mean-payoff and total-payoff through windows"
5430,10.15479/AT:IST-2015-319-v1-1,"Faster algorithms for quantitative verification in constant treewidth graphs"
5435,10.15479/AT:IST-2015-318-v2-1,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
1604,10.1145/2676726.2676968,"Quantitative interprocedural analysis"
1559,10.1073/pnas.1511366112,"Computational complexity of ecological and evolutionary spatial dynamics"
1624,10.1038/srep17147,"Cellular cooperation with shift updating and repulsion"
1698,10.1016/j.ic.2015.03.001,"The complexity of multi-mean-payoff and multi-energy games"
1681,10.3390/g6040413,"Evolution of decisions in population games with sequentially searching individuals"
1838,10.1007/978-3-662-46681-0_50,"Assume-guarantee synthesis for concurrent reactive programs with partial information"
524,10.1016/j.ic.2015.03.009,"Qualitative analysis of concurrent mean payoff games"
1732,10.1109/ICRA.2015.7139019,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
5429,10.15479/AT:IST-2015-318-v1-1,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
5443,10.15479/AT:IST-2015-325-v2-1,"A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs"
5431,10.15479/AT:IST-2015-322-v1-1,"The patience of concurrent stochastic games with safety and reachability objectives"
5436,10.15479/AT:IST-2015-170-v2-2,"Nested weighted automata"
1694,10.1109/TAC.2015.2404612,"Quantitative temporal simulation and refinement distances for timed systems"
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"
1598,10.1016/j.tcs.2015.01.050,"Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives"
1656,10.1109/LICS.2015.72,"Nested weighted automata"
5437,10.15479/AT:IST-2015-330-v2-1,"Faster algorithms for quantitative verification in constant treewidth graphs"
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"
1714,10.1109/RTSS.2014.9,"A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks"
1873,10.1016/j.artint.2014.12.009,"POMDPs under probabilistic semantics"
1481,,"Automatic generation of alternative starting positions for simple traditional board games"
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"
1501,10.1007/s10703-015-0235-2,"CEGAR for compositional analysis of qualitative properties in Markov decision processes"
5440,10.15479/AT:IST-2015-323-v2-2,"The complexity of evolutionary games on graphs"
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"
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"
1709,10.1098/rspb.2015.1041,"Biological auctions with multiple rewards"
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"
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"
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"
5428,10.15479/AT:IST-2014-315-v1-1,"Quantitative fair simulation games"
2063,10.1007/978-3-319-08867-9_31,"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"
2038,10.1145/2629686,"Temporal specifications with accumulative values"
2211,10.1145/2579821,"Partial-observation stochastic games: How to win when belief fails"
1903,10.1007/978-3-662-44522-8_1,"Partial-observation stochastic reachability and parity games"
2216,10.1145/2562059.2562141,"Edit distance for timed automata"
5412,10.15479/AT:IST-2014-153-v1-1,"CEGAR for qualitative analysis of probabilistic systems"
5424,10.15479/AT:IST-2014-305-v1-1,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
1853,10.1109/IOT.2014.7030120,"Game theoretic secure localization in wireless sensor networks"
2027,10.1007/978-3-319-11936-6_8,"Verification of markov decision processes using learning algorithms"
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"
5420,10.15479/AT:IST-2014-191-v1-1,"The value 1 problem for concurrent mean-payoff games"
2039,10.1371/journal.pcbi.1003818,"The time scale of evolutionary innovation"
2054,10.1007/978-3-662-44584-6_37,"Qualitative concurrent parity games: Bounded rationality"
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"
5426,10.15479/AT:IST-2014-305-v2-1,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
5419,10.15479/AT:IST-2014-187-v1-1,"Improved algorithms for reachability and shortest path on low tree-width graphs"
5414,10.15479/AT:IST-2014-153-v3-1,"CEGAR for qualitative analysis of probabilistic systems"
5421,10.15479/AT:IST-2014-190-v2-2,"The complexity of evolution on graphs"
2187,10.1007/s00236-013-0191-5,"Synthesizing robust systems"
2163,10.1007/978-3-662-43951-7_10,"Games with a weak adversary"
5427,10.15479/AT:IST-2014-314-v1-1,"Optimal tree-decomposition balancing and reachability on low treewidth graphs"
5415,10.15479/AT:IST-2014-170-v1-1,"Nested weighted automata"
2816,10.7554/eLife.00747,"Evolutionary dynamics of cancer in response to targeted combination therapy"
2854,10.1016/j.jcss.2012.12.001,"Strategy improvement for concurrent reachability and turn based stochastic safety games"
5404,10.15479/AT:IST-2013-127-v1-1,"The complexity of ergodic games"
5409,10.15479/AT:IST-2013-144-v1-1,"Edit distance for timed automata"
2247,10.1371/journal.pone.0080814,"Forgiver triumphs in alternating prisoner's dilemma "
2292,10.1007/978-3-642-40313-2,"Mathematical Foundations of Computer Science 2013"
2444,10.1007/978-3-642-39799-8_36,"Faster algorithms for Markov decision processes with low treewidth"
2305,10.1109/LICS.2013.39,"Trading performance for stability in Markov decision processes"
2824,10.1016/j.ic.2013.04.003,"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems"
2831,10.1007/s10703-012-0180-2,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
2836,10.1007/s00165-013-0283-6,"Assume-guarantee synthesis for digital contract signing"
2817,10.1016/j.jtbi.2013.05.029,"Density games"
5400,10.15479/AT:IST-2013-109-v1-1,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
1376,10.1109/FMCAD.2013.6679386,"Distributed synthesis for LTL fragments"
5405,10.15479/AT:IST-2013-128-v1-1,"Perfect-information stochastic mean-payoff parity games"
2329,10.1007/978-3-642-40184-8_35,"Hyperplane separation technique for multidimensional mean-payoff games"
2279,10.1007/978-3-319-02444-8_10,"Looking at mean-payoff and total-payoff through windows"
5406,10.15479/AT:IST-2013-130-v1-1,"Distributed synthesis for LTL Fragments"
2820,10.1145/2461328.2461356,"Automated analysis of real-time scheduling using graph games"
2446,10.1007/978-3-642-39799-8_37,"Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis"
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"
5399,10.15479/AT:IST-2013-104-v1-1,"TTP: Tool for Tumor Progression"
1374,10.4230/LIPIcs.CSL.2013.181,"Infinite-state games with finitary conditions"
2238,10.1007/978-3-642-45221-5_17,"Multi-objective discounted reward verification in graphs and MDPs"
2858,10.1111/eva.12020,"The effect of one additional driver mutation on tumor progression"
3116,10.1007/s10703-012-0170-4,"Code aware resource management"
2295,10.4230/LIPIcs.CSL.2013.165,"What is decidable about partially observable Markov decision processes with omega-regular objectives"
5403,10.15479/AT:IST-2013-126-v1-1,"Qualitative analysis of concurrent mean-payoff games"
2000,10.1007/978-3-642-39799-8_6,"TTP: Tool for tumor progression"
5410,10.15479/AT:IST-2013-146-v1-1,"Automatic generation of alternative starting positions for traditional board games"
5408,10.15479/AT:IST-2013-141-v1-1,"The complexity of partial-observation stochastic parity games with finite-memory strategies"
2715,10.4230/LIPIcs.FSTTCS.2012.461,"Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives"
2936,10.1145/2380356.2380370,"Finite automata with time delay blocks"
3314,10.1142/S0129054112400308,"Discounting and averaging in games across time scales"
2955,10.1109/LICS.2012.28,"Partial-observation stochastic games: How to win when belief fails"
5377,10.15479/AT:IST-2012-0002,"Mean-payoff pushdown games"
2848,10.1016/j.jtbi.2012.02.021,"Evolutionary game dynamics in populations with different learners"
3252,10.1007/978-3-642-27940-9_11,"Synthesizing protocols for digital contract signing"
3846,10.1016/j.jcss.2011.05.002,"A survey of stochastic ω regular games"
497,10.4230/LIPIcs.CSL.2012.167,"Faster algorithms for alternating refinement relations"
2956,10.1109/LICS.2012.30,"Mean payoff pushdown games"
5378,10.15479/AT:IST-2012-0001,"Faster algorithms for alternating refinement relations"
3341,10.1007/978-3-642-28729-9_18,"Robustness of structurally equivalent concurrent parity games"
3260,10.1016/j.tpb.2011.11.003,"Evolutionary dynamics of biological auctions"
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"
3254,10.1016/j.ic.2011.11.004,"The complexity of stochastic Müller games"
3165,10.1137/1.9781611973099.109,"An O(n2) time algorithm for alternating Büchi games"
2947,10.1007/978-3-642-33386-6_30,"Equivalence of games with probabilistic uncertainty and partial observation games"
3135,10.1007/978-3-642-31424-7_8,"Efficient controller synthesis for consumption games with multiple resource types"
3128,10.1007/s10703-012-0164-2,"A survey of partial-observation stochastic parity games"
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"
3345,10.1007/978-3-642-22993-0_21,"Energy and mean-payoff parity Markov Decision Processes"
5384,10.15479/AT:IST-2011-0004,"Decidable problems for probabilistic automata on infinite words"
3338,,"Bounded rationality in concurrent parity games"
3346,10.1109/LICS.2011.10,"Two views on multiple mean payoff objectives in 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"
5385,10.15479/AT:IST-2011-0003,"Temporal specifications with accumulative values"
3347,10.1007/978-3-642-21254-3_16,"Finitary languages"
3342,10.1007/978-3-642-22110-1_21,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
3354,10.1145/1970398.1970404,"Qualitative concurrent parity games"
3316,10.1109/SIES.2011.5953660,"Specification-centered robustness"
3361,10.1109/CSF.2011.21,"The complexity of quantitative information flow problems"
5381,10.15479/AT:IST-2011-0007,"Partial-observation stochastic games: How to win when belief fails"
5379,10.15479/AT:IST-2011-0009,"An O(n2) time algorithm for alternating Büchi games"
3366,"10.1007/978-3-642-22110-1_20 ","Quantitative synthesis for concurrent programs"
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"
3343,10.1137/1.9781611973082.101,"Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification"
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"
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"
3344,10.1007/978-3-642-24288-5_1,"Graph games with reachability objectives"
3356,10.1109/LICS.2011.33,"Temporal specifications with accumulative values"
3852,10.4204/EPTCS.25.6,"Discounting in games across time scales"
3864,10.1007/978-3-642-14295-6_34,"Measuring and synthesizing systems in probabilistic environments"
3857,10.1007/978-3-642-15643-4_1,"Probabilistic Automata on infinite words: decidability and undecidability results"
3853,10.1007/978-3-642-15375-4_19,"Mean-payoff automaton expressions"
3858,10.1007/978-3-642-16242-8_1,"The complexity of partial-observation parity games"
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"
3854,10.1007/978-3-642-15375-4_20,"Obliging games"
3866,10.1007/978-3-642-14295-6_36,"Robustness in the presence of liveness"
3861,10.1016/j.ic.2009.07.004,"Strategy logic"
3859,10.1007/978-3-642-15297-9,"FORMATS: Formal modeling and analysis of timed systems"
4388,10.1007/978-3-642-14295-6_57,"GIST: A solver for probabilistic games"
3862,10.1145/1805950.1805953,"Quantitative languages"
3855,10.1007/978-3-642-15155-2_24,"Qualitative analysis of partially-observable Markov Decision Processes"
3867,10.2168/LMCS-6(3:10)2010,"Expressiveness and closure properties for quantitative languages"
3851,10.1007/978-3-642-14162-1_50,"Energy parity games"
3856,10.1007/978-3-642-15155-2_23,"Randomness for free"
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"
5388,10.15479/AT:IST-2010-0004,"Quantitative synthesis for concurrent programs"
5390,10.15479/AT:IST-2010-0002,"Topological, automata-theoretic and logical characterization of finitary languages"
3869,10.2168/LMCS-5(2:7)2009,"Qualitative logics and equivalences for probabilistic systems"
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"
4540,10.1109/LICS.2009.16,"Expressiveness and closure properties for quantitative languages"
5392,10.15479/AT:IST-2009-0004,"Probabilistic automata on infinite words: Decidability and undecidability results"
4580,10.1007/978-3-642-00768-2_7,"Alpaga: A tool for solving parity games with imperfect information"
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"
3503,10.1007/978-3-642-03092-5_4,"Probabilistic systems with limsup and liminf objectives"
3870,10.1145/1614431.1614432,"Finitary winning in omega-regular games"
4544,10.1137/1.9781611973068.23,"Termination criteria for solving concurrent safety and reachability games"
5395,10.15479/AT:IST-2009-0001,"Qualitative analysis of partially-observable Markov decision processes"
3876,10.1007/978-3-540-85778-5_10,"Timed parity games: complexity and robustness"
3504,10.4230/LIPIcs.FSTTCS.2008.1745,"Algorithms for game metrics"
3877,10.1007/978-3-540-85361-9_14,"Environment assumptions for synthesis"
3872,10.1007/978-3-540-69850-0_7,"Value iteration"
4534,10.1016/j.ipl.2007.08.035,"Reduction of stochastic parity to stochastic mean-payoff games"
4546,10.1145/1403375.1403595,"Logical reliability of interacting real-time tasks"
3501,10.1145/1822258.1822293,"Assigning trust to Wikipedia content"
3873,"DOI: 10.1007/978-3-540-78929-1_6","Controller synthesis with budget constraints"
3878,10.1007/978-3-540-89330-1_7,"The complexity of coverage"
3880,10.1007/978-3-540-85361-9,"Strategy construction for parity games with imperfect information"
3502,"10.1145/1456377.1456387 ","Robust content-driven reputation"
3874,10.1007/978-3-540-78929-1_7,"Trading infinite memory for uniform randomness in timed games"
3879,10.1007/978-3-540-87531-4_28,"Quantitative languages"
4548,10.1007/s00182-007-0110-5,"Stochastic limit-average games are in EXPTIME"
3875,10.1007/978-3-540-78499-9_22,"Model-checking omega-regular properties of interval Markov chains"
3883,10.1007/978-3-540-71389-0_12,"Generalized parity games"
3884,10.1007/978-3-540-74407-8_5,"Strategy logic"
3885,10.1007/978-3-540-71389-0_11,"Optimal strategy synthesis in stochastic Müller games"
4547,10.2168/LMCS-3(3:4)2007,"Algorithms for omega-regular games with imperfect information"
4559,,"Stochastic ω-Regular Games"
3886,10.1007/978-3-540-77050-3_36,"Stochastic Müller games are PSPACE-complete"
3881,10.1109/QEST.2007.15,"Qualitative logics and equivalences for probabilistic systems"
3887,10.1007/978-3-540-77050-3_39,"Markov decision processes with multiple long-run average objectives"
3882,10.1016/j.tcs.2007.07.047,"Concurrent games with tail objectives"
4537,10.1007/978-3-540-71209-1_21,"Assume-guarantee synthesis"
3888,10.1007/11817949_25,"Strategy improvement for stochastic Rabin and Streett games"
3890,10.1145/1109557.1109631,"The complexity of quantitative concurrent parity games"
4552,10.1109/QEST.2006.48,"Strategy improvement for concurrent reachability games"
4538,10.1007/11672142_42,"Strategy improvement and randomized subexponential algorithms for stochastic parity games"
3500,,"Algorithms for Büchi Games"
3889,10.1007/11874683_19,"Algorithms for omega-regular games with imperfect information"
3891,10.1007/11874683_17,"Concurrent games with tail objectives"
4539,10.1007/11691372_17,"Finitary winning in omega-regular games"
3449,10.1109/CSFW.2006.14,"Games for controls"
3499,10.1007/11874683_18,"Nash equilibrium for upward-closed objectives"
4550,10.1016/j.tcs.2006.07.032,"Games with secure equilibria"
4549,10.1109/QEST.2006.11,"Compositional quantitative reasoning"
4551,10.1007/11672142_26,"Markov decision processes with multiple objectives"
4557,,"Counterexample-guided planning"
3896,10.1007/978-3-540-30536-1_13,"Complexity of compositional model checking of computation tree logic on simple structures"
4541,10.1007/11590156_1,"Semiperfect-information games"
4553,10.1007/11523468_71,"The complexity of stochastic Rabin and Streett games"
4560,10.1007/11560548_7,"Verifying quantitative properties using bound functions"
3892,10.1007/11561163_7,"Games with secure equilibria"
4554,10.1109/LICS.2005.26,"Mean-payoff parity games"
3893,10.1007/11539452_32,"Two-player nonzero-sum ω-regular games"
3895,10.1109/LICS.2004.1319610,"Games with secure equilibria"
4558,,"Quantitative stochastic parity games"
4555,10.1109/QEST.2004.10051,"Trading memory for randomness"
3894,10.1007/978-3-540-30124-0_6,"On Nash equilibria in stochastic games"
4556,10.1016/j.ic.2004.06.001,"Stack size analysis for interrupt-driven programs"
3593,10.1023/A:1023217515688,"A branching time temporal framework for quantitative reasoning"
3897,10.1007/978-3-540-45220-1_11,"Simple stochastic parity games"
3898,10.1007/3-540-44898-5_7,"Stack size analysis for interrupt-driven programs"
3448,,"Implementation of shape grammar for plan analysis"
3447,,"Weighted quantified computation tree logic"