| 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/Q6176102 | 2023-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6176100 | 2023-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875667 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875374 | 2023-02-03 | Paper |
| Energy mean-payoff games | 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 |
| Parameterized complexity of games with monotonically ordered \(\omega\)-regular objectives | 2021-08-04 | Paper |
| Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints | 2021-08-04 | Paper |
| Expectations or guarantees? I want it all! A crossroad between games and MDPs | 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 |
| On delay and regret determinization of max-plus automata | 2021-01-19 | Paper |
| The complexity of subgame perfect equilibria in quantitative reachability games | 2020-12-15 | Paper |
| From LTL and limit-deterministic Büchi automata to deterministic parity automata | 2020-08-05 | Paper |
| Admissiblity in concurrent games | 2020-05-27 | Paper |
| Threshold constraints with guarantees for parity objectives in Markov decision processes | 2020-05-27 | Paper |
| Admissible strategies in timed games | 2020-02-24 | Paper |
| Partial solvers for generalized parity games | 2019-10-22 | 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 |
| Secure equilibria in weighted games | 2018-04-23 | Paper |
| The complexity of admissibility in omega-regular 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/Q4636651 | 2018-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636592 | 2018-04-19 | Paper |
| On the complexity of heterogeneous multidimensional games | 2018-03-21 | Paper |
| Pareto curves of multidimensional mean-payoff games | 2018-03-01 | Paper |
| Percentile queries in multi-dimensional Markov decision processes | 2018-03-01 | Paper |
| The complexity of rational synthesis | 2017-12-19 | Paper |
| Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes | 2017-10-09 | Paper |
| Reactive Synthesis Without Regret | 2017-09-12 | Paper |
| Assume-admissible synthesis | 2017-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5351977 | 2017-08-31 | Paper |
| Minimizing regret in discounted-sum games | 2017-07-19 | Paper |
| Durations and parametric model-checking in timed automata | 2017-07-12 | Paper |
| A classification of symbolic transition systems | 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 |
| 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 |
| \(\omega\)-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 (extended abstract) | 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 |
| 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 |
| Games for counting abstractions | 2013-09-26 | Paper |
| On the \(\omega\)-language expressive power of extended Petri nets | 2013-09-25 | Paper |
| Petri nets with non-blocking arcs are difficult to analyze | 2013-09-09 | Paper |
| Optimal bounds for multiweighted and parametrised energy games | 2013-08-16 | Paper |
| Monotonic extensions of Petri nets: forward and backward search revisited | 2013-08-16 | Paper |
| Synthesis from LTL specifications with mean-payoff objectives | 2013-08-05 | Paper |
| \(\omega \)-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 |
| Generalized mean-payoff and energy games | 2012-08-29 | Paper |
| Antichain-Based QBF Solving | 2011-10-07 | Paper |
| Event clock automata: from theory to practice | 2011-10-07 | Paper |
| Reachability Problems for Hybrid Automata | 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 |
| Lattice-valued binary decision diagrams | 2010-10-04 | Paper |
| Compositional algorithms for LTL synthesis | 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 |
| From many places to few: automatic abstraction refinement for Petri nets | 2009-02-12 | Paper |
| EQUIVALENCE OF LABELED MARKOV CHAINS | 2008-11-24 | Paper |
| Visibly Pushdown Transducers | 2008-08-19 | Paper |
| Timed Control with Observation Based and Stuttering Invariant Strategies | 2008-07-03 | Paper |
| On the Efficient Computation of the Minimal Coverability Set for Petri Nets | 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 |
| On the optimal reachability problem of weighted timed automata | 2007-10-11 | Paper |
| Real-Time Model-Checking: Parameters everywhere | 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 |
