_id,title
1009,"Optimizing expectation with guarantees in POMDPs"
1011," Faster algorithms for weighted recursive state machines"
1066,"Quantitative fair simulation games"
1080,"Reconstructing metastatic seeding patterns of human cancers"
1294,"Trading performance for stability in Markov decision processes"
466,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
512,"Amplification on undirected population structures: Comets beat stars"
625,"The cost of exactness in quantitative reachability"
5456,"Data-centric dynamic partial order reduction"
551,"Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs"
1194,"Stochastic invariants for probabilistic termination"
467,"Nested weighted automata"
645,"Value iteration for long run average reward in markov decision processes"
671,"Memory-n strategies of direct reciprocity"
950,"Infinite-duration bidding games"
684,"Obligation blackwell games and p-automata"
711,"Bidirectional nested weighted automata"
552,"Faster algorithms for mean payoff parity games"
639,"Non-polynomial worst case analysis of recursive programs"
653,"Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer"
716,"The complexity of mean-payoff pushdown games"
949,"JTDec: A tool for tree decompositions in soot"
553,"Strategy complexity of concurrent safety games"
464,"Improved algorithms for parity and Streett objectives"
628,"Automated recurrence analysis for almost linear expected runtime bounds"
6519,"Improved set-based symbolic algorithms for parity games"
717,"Hyperplane separation technique for multidimensional mean-payoff games"
5559,"Strong amplifiers of natural selection"
1200,"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,"Stability in graphs and games"
1426,"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,"Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs"
1326,"Optimizing the expected mean payoff in Energy Markov Decision Processes"
1333,"Humans choose representatives who enforce cooperation in social dilemmas through extortion"
478,"The complexity of deciding legality of a single step of magic: The gathering"
1340,"The big match in small space"
1477,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
480,"Perfect-information stochastic games with generalized mean-payoff objectives"
1245,"Game-theoretic models identify useful principles for peer collaboration in online learning platforms"
1322,"Asymmetric power boosts extortion in an economic experiment"
1423,"Comparing reactive and memory-one strategies of direct reciprocity"
5451,"Strong amplifiers of natural selection"
1093,"Linear distances between Markov chains"
1182,"Robust draws in balanced knockout tournaments"
1327,"Stochastic shortest path with energy constraints in POMDPs"
1389,"On recurrent reachability for continuous linear dynamical systems"
1529,"Optimal cost almost-sure reachability in POMDPs"
5449,"Amplification on undirected population structures: Comets beat stars"
1380,"On the complexity of the orbit problem"
1397,"Algorithms for partially observable markov decision processes"
1518,"Efficient strategies for calculating blockwise likelihoods under the coalescent"
1068,"Conditionally optimal algorithms for generalized Büchi Games"
1070,"Computation tree logic for synchronization properties"
1138,"Quantitative automata under probabilistic semantics"
1140,"Model and objective separation with conditional lower bounds disjunction is harder than conjunction"
1335,"Quantitative monitor automata"
5445,"Quantitative interprocedural analysis"
5452,"Arbitrarily strong amplifiers of natural selection"
5453,"Arbitrarily strong amplifiers of natural selection"
1069,"On the skolem problem for continuous linear dynamical systems"
1090,"Nested weighted limit-average automata of bounded width"
1324,"Indefinite-horizon reachability in Goal-DEC-POMDPs"
1386,"Termination analysis of probabilistic programs through Positivstellensatz's"
1071,"Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs"
1437,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
1851,"Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating"
5430,"Faster algorithms for quantitative verification in constant treewidth graphs"
1609,"The complexity of synthesis from probabilistic components"
1673,"Amplifiers of selection"
1856,"Measuring and synthesizing systems in probabilistic environments"
1882,"Compositionality for quantitative specifications"
1820,"Optimal cost almost-sure reachability in POMDPs"
1731,"Randomness for free"
1661,"Improved algorithms for one-pair and k-pair Streett objectives"
5435,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
523,"Looking at mean-payoff and total-payoff through windows"
1604,"Quantitative interprocedural analysis"
1559,"Computational complexity of ecological and evolutionary spatial dynamics"
1667,"Optimizing performance of continuous-time stochastic systems using timeout synthesis"
524,"Qualitative analysis of concurrent mean payoff games"
5431,"The patience of concurrent stochastic games with safety and reachability objectives"
5443,"A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs"
1624,"Cellular cooperation with shift updating and repulsion"
1681,"Evolution of decisions in population games with sequentially searching individuals"
1732,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
1698,"The complexity of multi-mean-payoff and multi-energy games"
1838,"Assume-guarantee synthesis for concurrent reactive programs with partial information"
5429,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
5436,"Nested weighted automata"
5549,"Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes"
5444,"Reconstructing robust phylogenies of metastatic cancers"
5432,"The complexity of evolutionary games on graphs"
1601,"The Hanoi omega-automata format"
5437,"Faster algorithms for quantitative verification in constant treewidth graphs"
1839,"Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives"
1846,"Refinement checking on parametric modal transition systems"
2034,"Probabilistic opacity for Markov decision processes"
1694,"Quantitative temporal simulation and refinement distances for timed systems"
1598,"Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives"
1656,"Nested weighted automata"
1714,"A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks"
1873,"POMDPs under probabilistic semantics"
5440,"The complexity of evolutionary games on graphs"
1481,"Automatic generation of alternative starting positions for simple traditional board games"
1501,"CEGAR for compositional analysis of qualitative properties in Markov decision processes"
1594,"Controller synthesis for MDPs and frequency LTL\GU"
1400,"The subclonal evolution of cancer"
1657,"Unifying two views on multiple mean-payoff objectives in Markov decision processes"
5438,"Edit distance for pushdown automata"
1602,"Faster algorithms for algebraic path properties in recursive state machines with constant treewidth"
1607,"Faster algorithms for quantitative verification in constant treewidth graphs"
1660,"Long-run average behaviour of probabilistic vector addition systems"
5441,"Algorithms for algebraic path properties in concurrent systems of constant treewidth components"
1502,"Complete composition operators for IOCO-testing theory"
1499,"Polynomial time decidability of weighted synchronization under partial observability"
1709,"Biological auctions with multiple rewards"
1689,"Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games"
1691,"Temporal logic motion planning using POMDPs with parity objectives: Case study paper"
1665,"Mutations driving CLL and their evolution in progression and relapse"
1610,"Edit distance for pushdown automata"
1603,"Counterexample explanation by learning small strategies in Markov decision processes"
2246,"Alternating traps in Muller and parity games"
5423,"A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks"
5428,"Quantitative fair simulation games"
1375,"Approximating the minimum cycle mean"
2234,"Markov decision processes with multiple long-run average objectives"
2190,"From LTL to deterministic automata: A safraless compositional approach"
2063,"CEGAR for qualitative analysis of probabilistic systems"
535,"Polynomial time algorithms for energy games with special weight structures"
2052,"Parameterized model checking of rendezvous systems"
2216,"Edit distance for timed automata"
5424,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
1903,"Partial-observation stochastic reachability and parity games"
5412,"CEGAR for qualitative analysis of probabilistic systems"
2716,"Strategy synthesis for multi-dimensional quantitative objectives"
2141,"Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition"
2211,"Partial-observation stochastic games: How to win when belief fails"
2038,"Temporal specifications with accumulative values"
1853,"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,"The value 1 problem for concurrent mean-payoff games"
2027,"Verification of markov decision processes using learning algorithms"
2039,"The time scale of evolutionary innovation"
2053,"Probabilistic bisimulation: Naturally on distributions"
2212,"Perfect-information stochastic mean-payoff parity games"
5413,"CEGAR for qualitative analysis of probabilistic systems"
5418,"Games with a weak adversary"
1733,"Interface simulation distances"
5419,"Improved algorithms for reachability and shortest path on low tree-width graphs"
5421,"The complexity of evolution on graphs"
5426,"Qualitative analysis of POMDPs with temporal logic specifications for robotics applications"
2213,"The complexity of partial-observation stochastic parity games with finite-memory strategies"
2162,"The complexity of ergodic mean payoff games"
5414,"CEGAR for qualitative analysis of probabilistic systems"
2054,"Qualitative concurrent parity games: Bounded rationality"
475,"First cycle games"
5427,"Optimal tree-decomposition balancing and reachability on low treewidth graphs"
2187,"Synthesizing robust systems"
2163,"Games with a weak adversary"
5415,"Nested weighted automata"
2816,"Evolutionary dynamics of cancer in response to targeted combination therapy"
5409,"Edit distance for timed automata"
2854,"Strategy improvement for concurrent reachability and turn based stochastic safety games"
5404,"The complexity of ergodic games"
2292,"Mathematical Foundations of Computer Science 2013"
1376,"Distributed synthesis for LTL fragments"
2247,"Forgiver triumphs in alternating prisoner's dilemma "
2305,"Trading performance for stability in Markov decision processes"
5405,"Perfect-information stochastic mean-payoff parity games"
5400,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
2444,"Faster algorithms for Markov decision processes with low treewidth"
2824,"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems"
2831,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
2836,"Assume-guarantee synthesis for digital contract signing"
2817,"Density games"
2886,"Controllable-choice message sequence graphs"
2329,"Hyperplane separation technique for multidimensional mean-payoff games"
5406,"Distributed synthesis for LTL Fragments"
2279,"Looking at mean-payoff and total-payoff through windows"
2820,"Automated analysis of real-time scheduling using graph games"
5399,"TTP: Tool for Tumor Progression"
2299,"Synthesis of AMBA AHB from formal specification: A case study"
2814,"The complexity of coverage"
2819,"Quantitative timed simulation functions and refinement metrics for real-time systems"
2446,"Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis"
2238,"Multi-objective discounted reward verification in graphs and MDPs"
3116,"Code aware resource management"
5403,"Qualitative analysis of concurrent mean-payoff games"
1374,"Infinite-state games with finitary conditions"
5410,"Automatic generation of alternative starting positions for traditional board games"
2000,"TTP: Tool for tumor progression"
2858,"The effect of one additional driver mutation on tumor progression"
2295,"What is decidable about partially observable Markov decision processes with omega-regular objectives"
5408,"The complexity of partial-observation stochastic parity games with finite-memory strategies"
2715,"Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives"
5377,"Mean-payoff pushdown games"
2955,"Partial-observation stochastic games: How to win when belief fails"
2936,"Finite automata with time delay blocks"
3314,"Discounting and averaging in games across time scales"
496,"Interpretations in trees with countably many branches"
3846,"A survey of stochastic ω regular games"
2848,"Evolutionary game dynamics in populations with different learners"
2956,"Mean payoff pushdown games"
3341,"Robustness of structurally equivalent concurrent parity games"
3252,"Synthesizing protocols for digital contract signing"
497,"Faster algorithms for alternating refinement relations"
5378,"Faster algorithms for alternating refinement relations"
3157,"The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers"
2957,"Decidable problems for probabilistic automata on infinite words"
3260,"Evolutionary dynamics of biological auctions"
2972,"Energy parity games"
3165,"An O(n2) time algorithm for alternating Büchi games"
3254,"The complexity of stochastic Müller games"
2916,"Interface Simulation Distances"
2947,"Equivalence of games with probabilistic uncertainty and partial observation games"
3128,"A survey of partial-observation stochastic parity games"
3135,"Efficient controller synthesis for consumption games with multiple resource types"
3255,"Games and Markov decision processes with mean payoff parity and energy parity objectives"
495,"A Myhill Nerode theorem for automata with advice"
3357,"The complexity of request-response games"
3338,"Bounded rationality in concurrent parity games"
5384,"Decidable problems for probabilistic automata on infinite words"
3345,"Energy and mean-payoff parity Markov Decision Processes"
3339,"Magnifying lens abstraction for stochastic games with discounted and long-run average objectives"
3365,"QUASY: quantitative synthesis tool"
3315,"Timed parity games: Complexity and robustness"
5380,"Bounded rationality in concurrent parity games"
3346,"Two views on multiple mean payoff objectives in Markov Decision Processes"
5385,"Temporal specifications with accumulative values"
5381,"Partial-observation stochastic games: How to win when belief fails"
3316,"Specification-centered robustness"
3366,"Quantitative synthesis for concurrent programs"
3342,"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives"
3361,"The complexity of quantitative information flow problems"
3347,"Finitary languages"
3354,"Qualitative concurrent parity games"
5379,"An O(n2) time algorithm for alternating Büchi games"
3343,"Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification"
3348,"Synthesis of memory efficient real time controllers for safety objectives"
3350,"Minimum attention controller synthesis for omega regular objectives"
5382,"Robustness of structurally equivalent concurrent parity games"
5387,"Energy and mean-payoff parity Markov decision processes"
3344,"Graph games with reachability objectives"
3363,"The decidability frontier for probabilistic automata on infinite words"
3349,"A reduction from parity games to simple stochastic games"
3351,"On memoryless quantitative objectives"
3356,"Temporal specifications with accumulative values"
3852,"Discounting in games across time scales"
489,"How do we remember the past in randomised strategies? "
3857,"Probabilistic Automata on infinite words: decidability and undecidability results"
3864,"Measuring and synthesizing systems in probabilistic environments"
3853,"Mean-payoff automaton expressions"
3858,"The complexity of partial-observation parity games"
3860,"Generalized mean-payoff and energy games"
3865,"Analyzing the impact of change in multi-threaded programs"
3866,"Robustness in the presence of liveness"
3854,"Obliging games"
3859,"Formal modeling and analysis of timed systems"
3861,"Strategy logic"
4388,"GIST: A solver for probabilistic games"
3867,"Expressiveness and closure properties for quantitative languages"
3855,"Qualitative analysis of partially-observable Markov Decision Processes"
3868,"Algorithms for game metrics"
3863,"Strategy construction for parity games with imperfect information"
5390,"Topological, automata-theoretic and logical characterization of finitary languages"
3856,"Randomness for free"
3851,"Energy parity games"
5388,"Quantitative synthesis for concurrent programs"
3871,"Probabilistic weighted automata"
4545,"A survey of stochastic games with limsup and liminf objectives"
4569,"Better quality in synthesis through quantitative objectives"
5392,"Probabilistic automata on infinite words: Decidability and undecidability results"
4542,"Alternating weighted automata"
5393,"Gist: A solver for probabilistic games"
4543,"Stochastic games with finitary objectives"
5394,"Improved lower bounds for request-response and finitary Streett games"
3870,"Finitary winning in omega-regular games"
5395,"Qualitative analysis of partially-observable Markov decision processes"