| Publication | Date of Publication | Type |
|---|
| Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs | 2025-01-09 | Dataset |
| Graph planning with expected finite horizon | 2024-12-19 | Paper |
| Entropic risk for turn-based stochastic games | 2024-12-03 | Paper |
| Entropic risk for turn-based stochastic games | 2024-12-03 | Paper |
| Stochastic games with lexicographic objectives | 2024-11-04 | Paper |
| On lexicographic proof rules for probabilistic termination | 2024-09-25 | Paper |
| Complexity of spatial games | 2024-09-12 | Paper |
| Algorithms and hardness results for computing cores of Markov chains | 2024-09-12 | Paper |
| R2: boosting liquidity in payment channel networks with online admission control | 2024-07-17 | Paper |
| Faster algorithm for turn-based stochastic games with bounded treewidth | 2024-05-14 | Paper |
| Strategy Representation by Decision Trees with Linear Classifiers | 2024-03-14 | Paper |
| Run-time optimization for learned controllers through quantitative games | 2024-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6187059 | 2024-02-05 | Paper |
| Automated tail bound analysis for probabilistic recurrence relations | 2024-02-01 | Paper |
| MDPs as distribution transformers: affine invariant synthesis for safety objectives | 2024-02-01 | Paper |
| A learner-verifier framework for neural network controllers and certificates of stochastic systems | 2023-12-13 | Paper |
| New approaches for almost-sure termination of probabilistic programs | 2023-08-02 | Paper |
| Parameter-Independent Strategies for pMDPs via POMDPs | 2023-06-28 | Paper |
| Symbolic algorithms for graphs and Markov decision processes with fairness objectives | 2023-05-05 | Paper |
| On Lexicographic Proof Rules for Probabilistic Termination | 2023-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5874254 | 2023-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875368 | 2023-02-03 | Paper |
| Long-Run Average Behavior of Vector Addition Systems with States | 2023-02-03 | Paper |
| Combinations of Qualitative Winning for Stochastic Parity Games | 2023-02-03 | Paper |
| Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth | 2022-12-22 | Paper |
| Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs | 2022-12-07 | Paper |
| Non-polynomial worst-case analysis of recursive programs | 2022-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089184 | 2022-07-18 | Paper |
| Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States | 2022-07-18 | Paper |
| Value iteration for long-run average reward in Markov decision processes | 2022-07-01 | Paper |
| Automated recurrence analysis for almost-linear expected-runtime bounds | 2022-07-01 | Paper |
| Graph planning with expected finite horizon | 2022-06-13 | Paper |
| Finite-memory strategies in POMDPs with long-run average objectives | 2022-05-17 | Paper |
| Stateless model checking under a reads-value-from equivalence | 2022-03-25 | Paper |
| Faster algorithms for quantitative verification in bounded treewidth graphs | 2021-12-08 | Paper |
| Algorithms and conditional lower bounds for planning problems | 2021-11-02 | Paper |
| On satisficing in quantitative games | 2021-08-04 | Paper |
| Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies | 2021-08-04 | Paper |
| Approximating the minimum cycle mean | 2021-06-09 | Paper |
| A reduction from parity games to simple stochastic games | 2021-03-03 | Paper |
| Termination Analysis of Probabilistic Programs with Martingales | 2021-02-16 | Paper |
| Discounting in games across time scales | 2021-02-16 | Paper |
| Stochastic games with lexicographic reachability-safety objectives | 2021-02-09 | Paper |
| Approximating values of generalized-reachability stochastic games | 2021-01-21 | Paper |
| Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS | 2021-01-20 | Paper |
| Optimal strategies for selecting coordinators | 2020-12-29 | Paper |
| Deciding fast termination for probabilistic VASS with nondeterminism | 2020-07-20 | Paper |
| Bidirectional nested weighted automata | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111270 | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111277 | 2020-05-26 | Paper |
| Faster algorithms for mean-payoff parity games | 2020-05-26 | Paper |
| Improved set-based symbolic algorithms for parity games | 2020-05-26 | Paper |
| The cost of exactness in quantitative reachability | 2020-02-24 | Paper |
| Termination of nondeterministic probabilistic programs | 2020-01-23 | Paper |
| Assume-guarantee synthesis for concurrent reactive programs with partial information | 2019-09-17 | Paper |
| Strategy representation by decision trees in reactive synthesis | 2019-09-16 | Paper |
| Quantitative analysis of smart contracts | 2019-09-13 | Paper |
| Quantitative Automata under Probabilistic Semantics | 2019-08-13 | Paper |
| Quasipolynomial set-based symbolic algorithms for parity games | 2019-07-04 | Paper |
| Limits on amplifiers of natural selection under death-Birth updating | 2019-06-06 | Paper |
| An \(O(n^2)\) time algorithm for alternating Büchi games | 2019-05-10 | Paper |
| Termination criteria for solving concurrent safety and reachability games | 2019-05-06 | Paper |
| Termination analysis of probabilistic programs through Positivstellensatz's | 2019-05-03 | Paper |
| Density games | 2018-10-04 | Paper |
| Evolutionary game dynamics in populations with different learners | 2018-09-26 | Paper |
| Quantitative monitor automata | 2018-08-27 | Paper |
| Graph Games and Reactive Synthesis | 2018-07-20 | Paper |
| Evolution of decisions in population games with sequentially searching individuals | 2018-07-10 | Paper |
| The complexity of mean-payoff pushdown games | 2018-05-17 | Paper |
| Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma | 2018-05-15 | Paper |
| Computational Approaches for Stochastic Shortest Path on Succinct MDPs | 2018-04-24 | Paper |
| Perfect-information stochastic games with generalized mean-payoff objectives | 2018-04-23 | Paper |
| Quantitative Automata under Probabilistic Semantics | 2018-04-23 | Paper |
| Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes | 2018-04-23 | Paper |
| Model and objective separation with conditional lower bounds: disjunction is harder than conjunction | 2018-04-23 | Paper |
| Improved algorithms for one-pair and \(k\)-pair Streett objectives | 2018-04-23 | Paper |
| Nested weighted automata | 2018-04-23 | Paper |
| Nested weighted automata | 2018-03-22 | Paper |
| Nested weighted limit-average automata of bounded width | 2018-03-21 | Paper |
| Conditionally Optimal Algorithms for Generalized B\"uchi Games | 2018-03-21 | Paper |
| Lower bounds for symbolic computation on graphs: strongly connected components, liveness, safety, and diameter | 2018-03-15 | Paper |
| Optimal reachability and a space-time tradeoff for distance queries in constant-treewidth graphs | 2018-03-02 | Paper |
| Faster algorithms for quantitative verification in constant treewidth graphs | 2018-03-01 | Paper |
| Counterexample explanation by learning small strategies in Markov decision processes | 2018-03-01 | Paper |
| Automated competitive analysis of real-time scheduling with graph games | 2018-02-16 | Paper |
| Computation tree logic for synchronization properties | 2017-12-19 | Paper |
| Pushdown reachability with constant treewidth | 2017-11-03 | Paper |
| Stochastic invariants for probabilistic termination | 2017-10-20 | Paper |
| Edit distance for pushdown automata | 2017-10-12 | Paper |
| Improved algorithms for parity and Streett objectives | 2017-10-12 | Paper |
| The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games | 2017-10-05 | Paper |
| Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification | 2017-09-29 | Paper |
| Amplifiers of selection | 2017-09-29 | Paper |
| Obligation Blackwell games and p-automata | 2017-08-03 | Paper |
| Unifying two views on multiple mean-payoff objectives in Markov decision processes | 2017-07-13 | Paper |
| Trading performance for stability in Markov decision processes | 2017-07-03 | Paper |
| Hyperplane separation technique for multidimensional mean-payoff games | 2017-06-30 | Paper |
| Faster algorithms for weighted recursive state machines | 2017-05-19 | Paper |
| Temporal logic motion planning using POMDPs with parity objectives | 2017-05-19 | Paper |
| Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games | 2017-05-19 | Paper |
| Automated analysis of real-time scheduling using graph games | 2017-05-16 | Paper |
| Mean-payoff pushdown games | 2017-05-16 | Paper |
| Quantitative timed simulation functions and refinement metrics for real-time systems | 2017-05-16 | Paper |
| Edit distance for timed automata | 2017-05-16 | Paper |
| Synthesis of memory-efficient ``real-time controllers for safety objectives | 2017-05-16 | Paper |
| Decidable problems for probabilistic automata on infinite words | 2017-05-16 | Paper |
| Partial-observation stochastic games: how to win when belief fails | 2017-05-16 | Paper |
| Quantitative Temporal Simulation and Refinement Distances for Timed Systems | 2017-05-16 | Paper |
| Doomsday equilibria for omega-regular games | 2017-05-12 | Paper |
| Quantitative fair simulation games | 2017-05-12 | Paper |
| What is decidable about partially observable Markov decision processes with omega-regular objectives | 2017-02-02 | Paper |
| Infinite-state games with finitary conditions | 2017-02-02 | Paper |
| Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives | 2017-01-26 | Paper |
| Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games | 2016-12-15 | Paper |
| Trading performance for stability in Markov decision processes | 2016-11-14 | Paper |
| Algorithms for algebraic path properties in concurrent systems of constant treewidth components | 2016-10-24 | Paper |
| Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs | 2016-10-24 | Paper |
| Faster algorithms for algebraic path properties in recursive state machines with constant treewidth | 2016-09-29 | Paper |
| Quantitative interprocedural analysis | 2016-09-29 | Paper |
| Assume-guarantee synthesis for digital contract signing | 2016-08-05 | Paper |
| What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives | 2016-04-18 | Paper |
| Optimal cost almost-sure reachability in POMDPs | 2016-03-08 | Paper |
| Randomness for free | 2015-12-07 | Paper |
| Edit distance for pushdown automata | 2015-11-04 | Paper |
| The Complexity of Synthesis from Probabilistic Components | 2015-11-04 | Paper |
| CEGAR for compositional analysis of qualitative properties in Markov decision processes | 2015-10-20 | Paper |
| Qualitative concurrent parity games | 2015-09-17 | Paper |
| Finitary winning in \({\omega}\)-regular games | 2015-09-17 | Paper |
| Quantitative languages | 2015-09-17 | Paper |
| Temporal specifications with accumulative values | 2015-09-17 | Paper |
| Measuring and synthesizing systems in probabilistic environments | 2015-08-14 | Paper |
| Quantitative stochastic parity games | 2015-08-03 | Paper |
| Qualitative analysis of concurrent mean-payoff games | 2015-06-01 | Paper |
| Looking at mean-payoff and total-payoff through windows | 2015-06-01 | Paper |
| POMDPs under probabilistic semantics | 2015-05-15 | Paper |
| The complexity of multi-mean-payoff and multi-energy games | 2015-05-04 | Paper |
| Evolutionary dynamics of biological auctions | 2015-03-13 | Paper |
| Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives | 2015-02-24 | Paper |
| Polynomial-time algorithms for energy games with special weight structures | 2015-01-19 | Paper |
| Doomsday equilibria for omega-regular games | 2015-01-13 | Paper |
| Partial-observation stochastic reachability and parity games | 2014-10-14 | Paper |
| Probabilistic opacity for Markov decision processes | 2014-10-07 | Paper |
| Qualitative concurrent parity games: bounded rationality | 2014-09-15 | Paper |
| Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition | 2014-09-12 | Paper |
| Approximating the minimum cycle mean | 2014-07-25 | Paper |
| Partial-observation stochastic games, how to win when belief fails | 2014-07-17 | Paper |
| Looking at mean-payoff and total-payoff through windows | 2014-07-08 | Paper |
| Synthesizing robust systems | 2014-07-03 | Paper |
| Strategy synthesis for multi-dimensional quantitative objectives | 2014-07-03 | Paper |
| Games with a Weak Adversary | 2014-07-01 | Paper |
| The complexity of ergodic mean-payoff games | 2014-07-01 | Paper |
| Code aware resource management | 2014-06-30 | Paper |
| Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives | 2014-06-30 | Paper |
| A survey of partial-observation stochastic parity games | 2014-06-30 | Paper |
| Perfect-information stochastic mean-payoff parity games | 2014-04-16 | Paper |
| The complexity of partial-observation stochastic parity games with finite-memory strategies | 2014-04-16 | Paper |
| Markov decision processes with multiple long-run average objectives | 2014-03-24 | Paper |
| Multi-objective discounted reward verification in graphs and MDPs | 2014-01-17 | Paper |
| Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems | 2013-12-19 | Paper |
| Hyperplane Separation Technique for Multidimensional Mean-Payoff Games | 2013-08-12 | Paper |
| The complexity of coverage | 2013-07-30 | Paper |
| Strategy improvement for concurrent reachability and turn-based stochastic safety games | 2013-07-24 | Paper |
| How to travel between languages | 2013-03-18 | Paper |
| Faster algorithms for alternating refinement relations | 2012-11-22 | Paper |
| Equivalence of games with probabilistic uncertainty and partial-observation games | 2012-11-21 | Paper |
| Energy parity games | 2012-11-08 | Paper |
| Algorithms for Game Metrics | 2012-10-19 | Paper |
| Polynomial-time algorithms for energy games with special weight structures | 2012-09-25 | Paper |
| Strategy synthesis for multi-dimensional quantitative objectives | 2012-09-25 | Paper |
| Discounting and averaging in games across time scales | 2012-08-30 | Paper |
| Generalized mean-payoff and energy games | 2012-08-29 | Paper |
| Robustness of structurally equivalent concurrent parity games | 2012-06-22 | Paper |
| Synthesizing protocols for digital contract signing | 2012-06-15 | Paper |
| The complexity of stochastic Müller games | 2012-05-24 | Paper |
| A survey of stochastic \(\omega \)-regular games | 2012-05-11 | Paper |
| Timed Parity Games: Complexity and Robustness | 2012-04-02 | Paper |
| Minimum Attention Controller Synthesis for Omega-Regular Objectives | 2011-10-07 | Paper |
| On memoryless quantitative objectives | 2011-08-19 | Paper |
| Energy and Mean-Payoff Parity Markov Decision Processes | 2011-08-17 | Paper |
| Finitary languages | 2011-06-03 | Paper |
| The complexity of request-response games | 2011-06-03 | Paper |
| QUASY: quantitative synthesis tool | 2011-05-19 | Paper |
| The complexity of partial-observation parity games | 2010-10-12 | Paper |
| Strategy construction for parity games with imperfect information | 2010-10-07 | Paper |
| Probabilistic automata on infinite words: decidability and undecidability results | 2010-10-04 | Paper |
| Algorithms for game metrics | 2010-09-21 | Paper |
| Expressiveness and closure properties for quantitative languages | 2010-09-21 | Paper |
| Energy parity games | 2010-09-07 | Paper |
| Randomness for free | 2010-09-03 | Paper |
| Qualitative analysis of partially-observable Markov decision processes | 2010-09-03 | Paper |
| Obliging games | 2010-08-31 | Paper |
| Mean-payoff automaton expressions | 2010-08-31 | Paper |
| The complexity of quantitative concurrent parity games | 2010-08-16 | Paper |
| Strategy logic | 2010-06-25 | Paper |
| Reduction of stochastic parity to stochastic mean-payoff games | 2010-04-19 | Paper |
| Probabilistic Systems with LimSup and LimInf Objectives | 2009-11-12 | Paper |
| Probabilistic Weighted Automata | 2009-10-22 | Paper |
| Alternating Weighted Automata | 2009-10-20 | Paper |
| Stochastic Games with Finitary Objectives | 2009-10-16 | Paper |
| The power of first-order quantification over states in branching and linear time temporal logics | 2009-07-21 | Paper |
| A Survey of Stochastic Games with Limsup and Liminf Objectives | 2009-07-14 | Paper |
| Qualitative Logics and Equivalences for Probabilistic Systems | 2009-06-30 | Paper |
| Better Quality in Synthesis through Quantitative Objectives | 2009-06-30 | Paper |
| Concurrent Games with Tail Objectives | 2009-03-12 | Paper |
| Algorithms for Omega-Regular Games with Imperfect Information | 2009-03-12 | Paper |
| Nash Equilibrium for Upward-Closed Objectives | 2009-03-12 | Paper |
| Timed Parity Games: Complexity and Robustness | 2008-12-02 | Paper |
| Strategy Construction for Parity Games with Imperfect Information | 2008-11-25 | Paper |
| Environment Assumptions for Synthesis | 2008-11-25 | Paper |
| Quantitative Languages | 2008-11-20 | Paper |
| Strategy Logic | 2008-09-18 | Paper |
| Controller Synthesis with Budget Constraints | 2008-09-02 | Paper |
| Trading Infinite Memory for Uniform Randomness in Timed Games | 2008-09-02 | Paper |
| Stochastic limit-average games are in EXPTIME | 2008-07-25 | Paper |
| Value Iteration | 2008-07-15 | Paper |
| Markov Decision Processes with Multiple Long-Run Average Objectives | 2008-04-24 | Paper |
| Stochastic Müller Games are PSPACE-Complete | 2008-04-24 | Paper |
| Model-Checking ω-Regular Properties of Interval Markov Chains | 2008-04-11 | Paper |
| Markov Decision Processes with Multiple Objectives | 2008-03-19 | Paper |
| Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games | 2008-03-19 | Paper |
| Concurrent games with tail objectives | 2007-12-18 | Paper |
| Algorithms for Omega-Regular Games with Imperfect Information | 2007-11-15 | Paper |
| Optimal Strategy Synthesis in Stochastic Müller Games | 2007-09-07 | Paper |
| Generalized Parity Games | 2007-09-07 | Paper |
| Strategy Improvement for Stochastic Rabin and Streett Games | 2007-09-04 | Paper |
| Assume-Guarantee Synthesis | 2007-09-03 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Games with secure equilibria | 2006-12-07 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| Distributed Computing - IWDC 2004 | 2005-08-12 | Paper |
| Stack size analysis for interrupt-driven programs | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813395 | 2004-08-13 | Paper |
| A branching time temporal framework for quantitative reasoning | 2003-06-09 | Paper |
