_id,title
35,Algorithms and conditional lower bounds for planning problems
25,Goal-HSVI: Heuristic search value iteration for goal-POMDPs
716,The complexity of mean-payoff pushdown games
717,Hyperplane separation technique for multidimensional mean-payoff games
719,Special issue: Synthesis and SYNT 2014
744,Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma
464,Improved algorithms for parity and Streett objectives
465,Edit distance for pushdown automata
466,Unifying two views on multiple mean-payoff objectives in Markov decision processes
467,Nested weighted automata
512,Amplification on undirected population structures: Comets beat stars
5455,Optimal Dyck reachability for data-dependence and alias analysis
5456,Data-centric dynamic partial order reduction
551,Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
552,Faster algorithms for mean payoff parity games
553,Strategy complexity of concurrent safety games
5559,Strong amplifiers of natural selection
625,The cost of exactness in quantitative reachability
628,Automated recurrence analysis for almost linear expected runtime bounds
645,Value iteration for long run average reward in markov decision processes
6519,Improved set-based symbolic algorithms for parity games
653,Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer
671,Memory-n strategies of direct reciprocity
681,Doomsday equilibria for omega-regular games
684,Obligation blackwell games and p-automata
699,The red queen and king in finite populations
711,Bidirectional nested weighted automata
821,Algorithmic advances in program analysis and their applications
949,JTDec: A tool for tree decompositions in soot
950,Infinite-duration bidding games
1194,Stochastic invariants for probabilistic termination
1294,Trading performance for stability in Markov decision processes
1407,Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
1009,Optimizing expectation with guarantees in POMDPs
1011,Faster algorithms for weighted recursive state machines
1065,Pushdown reachability with constant treewidth
1066,Quantitative fair simulation games
1080,Reconstructing metastatic seeding patterns of human cancers
639,Non-polynomial worst case analysis of recursive programs
478,The complexity of deciding legality of a single step of magic: The gathering
480,Perfect-information stochastic games with generalized mean-payoff objectives
5445,Quantitative interprocedural analysis
5449,Amplification on undirected population structures: Comets beat stars
5451,Strong amplifiers of natural selection
5452,Arbitrarily strong amplifiers of natural selection
5453,Arbitrarily strong amplifiers of natural selection
1182,Robust draws in balanced knockout tournaments
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"
1245,Game-theoretic models identify useful principles for peer collaboration in online learning platforms
1322,Asymmetric power boosts extortion in an economic experiment
1324,Indefinite-horizon reachability in Goal-DEC-POMDPs
1325,Stability in graphs and games
1326,Optimizing the expected mean payoff in Energy Markov Decision Processes
1327,Stochastic shortest path with energy constraints in POMDPs
1333,Humans choose representatives who enforce cooperation in social dilemmas through extortion
1335,Quantitative monitor automata
1340,The big match in small space
1380,On the complexity of the orbit problem
1386,Termination analysis of probabilistic programs through Positivstellensatz's
1389,On recurrent reachability for continuous linear dynamical systems
1397,Algorithms for partially observable markov decision processes
1423,Comparing reactive and memory-one strategies of direct reciprocity
1426,Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites
1437,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
1438,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
1477,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
1518,Efficient strategies for calculating blockwise likelihoods under the coalescent
1529,Optimal cost almost-sure reachability in POMDPs
1068,Conditionally optimal algorithms for generalized Büchi Games
1069,On the skolem problem for continuous linear dynamical systems
1070,Computation tree logic for synchronization properties
1071,Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
1090,Nested weighted limit-average automata of bounded width
1093,Linear distances between Markov chains
1138,Quantitative automata under probabilistic semantics
1140,Model and objective separation with conditional lower bounds disjunction is harder than conjunction
1166,A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps
2034,Probabilistic opacity for Markov decision processes
523,Looking at mean-payoff and total-payoff through windows
524,Qualitative analysis of concurrent mean payoff games
5429,Unifying two views on multiple mean-payoff objectives in Markov decision processes
5430,Faster algorithms for quantitative verification in constant treewidth graphs
5431,The patience of concurrent stochastic games with safety and reachability objectives
5432,The complexity of evolutionary games on graphs
5435,Unifying two views on multiple mean-payoff objectives in Markov decision processes
5436,Nested weighted automata
5437,Faster algorithms for quantitative verification in constant treewidth graphs
5438,Edit distance for pushdown automata
5440,The complexity of evolutionary games on graphs
5441,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
5443,A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
5444,Reconstructing robust phylogenies of metastatic cancers
5549,Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
1559,Computational complexity of ecological and evolutionary spatial dynamics
1594,Controller synthesis for MDPs and frequency LTL\GU
1598,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
1601,The Hanoi omega-automata format
1602,Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
1603,Counterexample explanation by learning small strategies in Markov decision processes
1604,Quantitative interprocedural analysis