| Publication | Date of Publication | Type |
|---|
| Rational verification for Nash and subgame-perfect equilibria in graph games | 2024-12-03 | Paper |
| Pareto-rational verification | 2024-08-13 | Paper |
| Strategy synthesis for global window PCTL | 2024-06-24 | Paper |
| The complexity of SPEs in mean-payoff games | 2024-06-24 | Paper |
| Stackelberg-Pareto synthesis | 2024-04-25 | Paper |
| On the Complexity of SPEs in Parity Games | 2024-04-10 | Paper |
| LTL reactive synthesis with a few hints | 2024-04-05 | Paper |
| Subgame-perfect Equilibria in Mean-payoff Games (journal version) | 2024-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6134271 | 2023-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6176100 | 2023-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6176102 | 2023-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875374 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875382 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875667 | 2023-02-03 | Paper |
| Lifted model checking for relational MDPs | 2022-11-28 | Paper |
| Correction to: ``Reactive synthesis without regret | 2022-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089282 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089307 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079732 | 2022-05-28 | Paper |
| Active learning of sequential transducers with side information about the domain | 2022-03-25 | Paper |
| Safe learning for near-optimal scheduling | 2022-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384875 | 2021-12-17 | Paper |
| Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009445 | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994885 | 2021-06-22 | Paper |
| Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives | 2021-06-03 | Paper |
| A Pattern Logic for Automata with Outputs | 2021-04-19 | Paper |
| On the existence of weak subgame perfect equilibria | 2021-02-08 | Paper |
| Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes | 2021-01-21 | Paper |
| Rational Synthesis Under Imperfect Information | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144642 | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5140263 | 2020-12-15 | Paper |
| From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata | 2020-08-05 | Paper |
| Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes | 2020-05-27 | Paper |
| Admissiblity in Concurrent Games | 2020-05-27 | Paper |
| Admissible Strategies in Timed Games | 2020-02-24 | Paper |
| Partial solvers for generalized parity games | 2019-10-22 | Paper |
| Decidable weighted expressions with Presburger combinators | 2019-08-30 | Paper |
| Looking at mean payoff through foggy windows | 2018-12-12 | Paper |
| A pattern logic for automata with outputs | 2018-11-22 | Paper |
| Minkowski Games | 2018-10-24 | Paper |
| Visibly pushdown transducers | 2018-09-07 | Paper |
| Symbolic Model Checking in Non-Boolean Domains | 2018-07-20 | Paper |
| Mean-payoff games with partial observation | 2018-06-05 | Paper |
| The complexity of admissibility in Omega-regular games | 2018-04-23 | Paper |
| Secure equilibria in weighted games | 2018-04-23 | Paper |
| Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636592 | 2018-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636651 | 2018-04-19 | Paper |
| On the complexity of heterogeneous multidimensional quantitative games | 2018-03-21 | Paper |
| Percentile queries in multi-dimensional Markov decision processes | 2018-03-01 | Paper |
| Pareto curves of multidimensional mean-payoff games | 2018-03-01 | Paper |
| The Complexity of Rational Synthesis | 2017-12-19 | Paper |
| Decidable weighted expressions with Presburger combinators | 2017-11-22 | Paper |
| Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes | 2017-10-09 | Paper |
| Assume-Admissible Synthesis | 2017-09-12 | Paper |
| Reactive Synthesis Without Regret | 2017-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5351977 | 2017-08-31 | Paper |
| Minimizing Regret in Discounted-Sum Games | 2017-07-19 | Paper |
| A classification of symbolic transition systems | 2017-07-12 | Paper |
| Durations and parametric model-checking in timed automata | 2017-07-12 | Paper |
| On the Existence of Weak Subgame Perfect Equilibria | 2017-05-19 | Paper |
| Energy and mean-payoff timed games | 2017-05-16 | Paper |
| Percentile queries in multi-dimensional Markov decision processes | 2017-05-15 | Paper |
| Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games | 2017-05-12 | Paper |
| Doomsday equilibria for omega-regular games | 2017-05-12 | Paper |
| Finite-Valued Weighted Automata. | 2017-04-25 | Paper |
| Quantitative games with interval objectives | 2017-04-25 | Paper |
| Multiple-environment Markov decision processes | 2017-04-25 | Paper |
| Reactive synthesis without regret | 2017-04-03 | Paper |
| Assume-admissible synthesis | 2017-04-03 | Paper |
| Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games | 2017-03-03 | Paper |
| The logic of ``initially and ``next: complete axiomatization and complexity | 2016-06-16 | Paper |
| ω-Petri Nets: Algorithms and Complexity | 2016-05-11 | Paper |
| Non-Zero Sum Games for Reactive Synthesis | 2016-04-13 | Paper |
| Looking at Mean-Payoff Through Foggy Windows | 2016-01-08 | Paper |
| Quantitative Languages Defined by Functional Automata | 2015-10-29 | Paper |
| Mean-Payoff Games with Partial-Observation | 2015-10-28 | Paper |
| Looking at mean-payoff and total-payoff through windows | 2015-06-01 | Paper |
| The complexity of multi-mean-payoff and multi-energy games | 2015-05-04 | Paper |
| Variations on the Stochastic Shortest Path Problem | 2015-02-04 | Paper |
| On regions and zones for event-clock automata | 2015-01-19 | Paper |
| Doomsday equilibria for omega-regular games | 2015-01-13 | Paper |
| Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points | 2014-07-08 | Paper |
| Looking at Mean-Payoff and Total-Payoff through Windows | 2014-07-08 | Paper |
| Strategy synthesis for multi-dimensional quantitative objectives | 2014-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847413 | 2013-09-09 | Paper |
| Optimal Bounds for Multiweighted and Parametrised Energy Games | 2013-08-16 | Paper |
| Synthesis from LTL Specifications with Mean-Payoff Objectives | 2013-08-05 | Paper |
| ω-Petri Nets | 2013-06-28 | Paper |
| Controllers with Minimal Observation Power (Application to Timed Systems) | 2012-11-21 | Paper |
| Antichains and compositional algorithms for LTL synthesis | 2012-09-27 | Paper |
| Quantitative Languages Defined by Functional Automata | 2012-09-25 | Paper |
| Strategy synthesis for multi-dimensional quantitative objectives | 2012-09-25 | Paper |
| Generalized Mean-payoff and Energy Games | 2012-08-29 | Paper |
| Event Clock Automata: From Theory to Practice | 2011-10-07 | Paper |
| Reachability Problems for Hybrid Automata | 2011-10-07 | Paper |
| Antichain-Based QBF Solving | 2011-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3172532 | 2011-10-05 | Paper |
| On Reachability for Hybrid Automata over Bounded Time | 2011-07-07 | Paper |
| Faster algorithms for mean-payoff games | 2011-05-23 | Paper |
| Fixed point guided abstraction refinement for alternating automata | 2010-10-07 | Paper |
| Compositional Algorithms for LTL Synthesis | 2010-10-04 | Paper |
| Lattice-Valued Binary Decision Diagrams | 2010-10-04 | Paper |
| Safraless Procedures for Timed Specifications | 2010-09-10 | Paper |
| Energy and Mean-Payoff Games with Imperfect Information | 2010-09-03 | Paper |
| Iterated Regret Minimization in Game Graphs | 2010-09-03 | Paper |
| Properties of Visibly Pushdown Transducers | 2010-09-03 | Paper |
| Antichain Algorithms for Finite Automata | 2010-04-27 | Paper |
| Realizability of Real-Time Logics | 2009-12-01 | Paper |
| FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 2009-08-06 | Paper |
| Fixpoint Guided Abstraction Refinement for Alternating Automata | 2009-07-09 | Paper |
| Robust safety of timed automata | 2009-07-06 | Paper |
| An Antichain Algorithm for LTL Realizability | 2009-06-30 | Paper |
| Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study | 2009-04-30 | Paper |
| Antichains for the Automata-Based Approach to Model-Checking | 2009-04-29 | Paper |
| Algorithms for Omega-Regular Games with Imperfect Information | 2009-03-12 | Paper |
| From Many Places to Few: Automatic Abstraction Refinement for Petri Nets | 2009-03-11 | Paper |
| Fixpoint-Guided Abstraction Refinements | 2009-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601862 | 2009-02-12 | Paper |
| EQUIVALENCE OF LABELED MARKOV CHAINS | 2008-11-24 | Paper |
| Visibly Pushdown Transducers | 2008-08-19 | Paper |
| On the Efficient Computation of the Minimal Coverability Set for Petri Nets | 2008-07-03 | Paper |
| Timed Control with Observation Based and Stuttering Invariant Strategies | 2008-07-03 | Paper |
| Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking | 2008-04-11 | Paper |
| On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game | 2008-01-04 | Paper |
| Minimum-Time Reachability in Timed Games | 2007-11-28 | Paper |
| Algorithms for Omega-Regular Games with Imperfect Information | 2007-11-15 | Paper |
| Real-Time Model-Checking: Parameters everywhere | 2007-10-11 | Paper |
| On the optimal reachability problem of weighted timed automata | 2007-10-11 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Antichains: A New Algorithm for Checking Universality of Finite Automata | 2007-09-05 | Paper |
| Improved Algorithms for the Automata-Based Approach to Model-Checking | 2007-09-03 | Paper |
| Well-structured languages | 2007-08-17 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2007-02-12 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| Model checking restricted sets of timed paths | 2006-09-13 | Paper |
| On model-checking timed automata with stopwatch observers | 2006-06-09 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| FM 2005: Formal Methods | 2006-01-10 | Paper |
| Almost ASAP semantics: from timed models to timed implementations | 2005-12-13 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736580 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472236 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418693 | 2003-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791273 | 2003-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551160 | 2002-09-04 | Paper |
| Axioms for real-time logics | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722062 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518906 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953389 | 2000-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939602 | 2000-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251916 | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255574 | 1999-08-17 | Paper |
