| 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 |
| 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 |
| https://portal.mardi4nfdi.de/entity/Q5875368 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4992512 | 2021-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964720 | 2021-03-03 | Paper |
| Termination Analysis of Probabilistic Programs with Martingales | 2021-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150997 | 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 |
| Improved Set-Based Symbolic Algorithms for Parity Games | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111270 | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111277 | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111253 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5743484 | 2019-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4633826 | 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 |
| Improved Algorithms for One-Pair and k-Pair Streett Objectives | 2018-04-23 | Paper |
| Nested Weighted Automata | 2018-04-23 | 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 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4608046 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4598239 | 2017-12-19 | Paper |
| Pushdown reachability with constant treewidth | 2017-11-03 | Paper |
| Stochastic invariants for probabilistic termination | 2017-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5367065 | 2017-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5367062 | 2017-10-12 | Paper |
| The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games | 2017-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5365120 | 2017-09-29 | Paper |
| Amplifiers of selection | 2017-09-29 | Paper |
| OBLIGATION BLACKWELL GAMES AND P-AUTOMATA | 2017-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5278082 | 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 |
| 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 |
| Faster Algorithms for Weighted Recursive State Machines | 2017-05-19 | 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 |
| 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 |
| 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 |
| https://portal.mardi4nfdi.de/entity/Q2958522 | 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 |
| Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs | 2016-10-24 | Paper |
| Algorithms for algebraic path properties in concurrent systems of constant treewidth components | 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 |
| Finitary winning in ω-regular games | 2015-09-17 | Paper |
| Quantitative languages | 2015-09-17 | Paper |
| Temporal Specifications with Accumulative Values | 2015-09-17 | Paper |
| Qualitative concurrent parity games | 2015-09-17 | Paper |
| Measuring and Synthesizing Systems in Probabilistic Environments | 2015-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5501249 | 2015-08-03 | Paper |
| Looking at mean-payoff and total-payoff through windows | 2015-06-01 | Paper |
| Qualitative analysis of concurrent mean-payoff games | 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 | 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 |
| 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 |
| Code aware resource management | 2014-06-30 | Paper |
| The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies | 2014-04-16 | Paper |
| Perfect-Information Stochastic Mean-Payoff Parity Games | 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 |
| Expressiveness and closure properties for quantitative languages | 2010-09-21 | Paper |
| Algorithms for game metrics | 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 |
| Mean-Payoff Automaton Expressions | 2010-08-31 | Paper |
| Obliging Games | 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 |
| Better Quality in Synthesis through Quantitative Objectives | 2009-06-30 | Paper |
| Qualitative Logics and Equivalences for Probabilistic Systems | 2009-06-30 | Paper |
| Algorithms for Omega-Regular Games with Imperfect Information | 2009-03-12 | Paper |
| Nash Equilibrium for Upward-Closed Objectives | 2009-03-12 | Paper |
| Concurrent Games with Tail Objectives | 2009-03-12 | Paper |
| Timed Parity Games: Complexity and Robustness | 2008-12-02 | Paper |
| Environment Assumptions for Synthesis | 2008-11-25 | Paper |
| Strategy Construction for Parity Games with Imperfect Information | 2008-11-25 | Paper |
| Quantitative Languages | 2008-11-20 | Paper |
| Strategy Logic | 2008-09-18 | Paper |
| Trading Infinite Memory for Uniform Randomness in Timed Games | 2008-09-02 | Paper |
| Controller Synthesis with Budget Constraints | 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 |
