| Publication | Date of Publication | Type |
|---|
| Quantitative reachability Stackelberg-Pareto synthesis is \textsf{NEXPTIME}-complete | 2024-10-23 | Paper |
| Multi-weighted reachability games | 2024-10-23 | Paper |
| Towards decentralized models for day-ahead scheduling of energy resources in renewable energy communities | 2024-09-17 | Paper |
| Semantics of attack-defense trees for dynamic countermeasures and a new hierarchy of star-free languages | 2024-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6191019 | 2024-02-08 | Paper |
| Dynamics on Games: Simulation-Based Techniques and Applications to Routing | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875374 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875369 | 2023-02-03 | Paper |
| Timed-automata-based verification of MITL over signals | 2023-02-03 | Paper |
| Decisiveness of stochastic systems and its application to hybrid models | 2022-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101350 | 2022-08-30 | Paper |
| \textsc{MightyL}: a compositional translation from MITL to timed automata | 2022-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021008 | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384875 | 2021-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384168 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4998486 | 2021-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992504 | 2021-06-09 | Paper |
| Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives | 2021-06-03 | Paper |
| On relevant equilibria in reachability games | 2021-04-14 | Paper |
| On subgame perfect equilibria in turn-based reachability timed games | 2021-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5141616 | 2020-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5140263 | 2020-12-15 | Paper |
| Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version) | 2020-09-28 | Paper |
| On the termination of dynamics in sequential games | 2020-05-26 | Paper |
| Decisiveness of Stochastic Systems and its Application to Hybrid Models | 2020-01-13 | Paper |
| On relevant equilibria in reachability games | 2019-10-22 | Paper |
| Life is Random, Time is Not: Markov Decision Processes with Window Objectives | 2019-01-11 | Paper |
| When are stochastic transition systems tameable? | 2018-06-27 | Paper |
| Real-Time Synthesis is Hard! | 2018-02-16 | Paper |
| Analysing Decisive Stochastic Processes | 2017-12-19 | Paper |
| On equilibria in quantitative games with reachability/safety objectives | 2017-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5357711 | 2017-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5351977 | 2017-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5275374 | 2017-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5275375 | 2017-07-13 | Paper |
| Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games | 2017-04-03 | Paper |
| Compositional Design of Stochastic Timed Automata | 2016-07-25 | Paper |
| Multiplayer Cost Games with Simple Nash Equilibria | 2015-12-11 | Paper |
| Simple strategies for Banach-Mazur games and sets of probability 1 | 2015-12-07 | Paper |
| On MITL and Alternating Timed Automata over Infinite Words | 2015-08-06 | Paper |
| Stochastic Timed Automata | 2015-01-15 | Paper |
| Adding Negative Prices to Priced Timed Games | 2014-09-15 | Paper |
| Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points | 2014-07-08 | Paper |
| On MITL and Alternating Timed Automata | 2013-08-16 | Paper |
| On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games | 2013-04-09 | Paper |
| Subgame Perfection for Equilibria in Quantitative Reachability Games | 2012-06-22 | Paper |
| Antichain-Based QBF Solving | 2011-10-07 | Paper |
| Weighted o-minimal hybrid systems | 2011-08-26 | Paper |
| On Reachability for Hybrid Automata over Bounded Time | 2011-07-07 | Paper |
| Emptiness and Universality Problems in Timed Automata with Positive Frequency | 2011-07-07 | Paper |
| Equilibria in Quantitative Reachability Games | 2010-06-22 | Paper |
| O-Minimal Hybrid Reachability Games | 2010-03-15 | Paper |
| Formal language properties of hybrid systems with strong resets | 2010-03-12 | Paper |
| Improved undecidability results on weighted timed automata | 2010-01-18 | Paper |
| When Are Timed Automata Determinizable? | 2009-07-14 | Paper |
| Cell decomposition and dimension function in the theory of closed ordered differential fields | 2009-06-10 | Paper |
| ATL with Strategy Contexts and Bounded Memory | 2009-02-24 | Paper |
| Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets | 2008-12-02 | Paper |
| Timed Concurrent Game Structures | 2008-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5387709 | 2008-05-27 | Paper |
| Probabilistic and Topological Semantics for Timed Automata | 2008-04-24 | Paper |
| Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! | 2008-01-04 | Paper |
| Minimum-Time Reachability in Timed Games | 2007-11-28 | Paper |
| On the optimal reachability problem of weighted timed automata | 2007-10-11 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| On model-checking timed automata with stopwatch observers | 2006-06-09 | Paper |
| A note on the undecidability of the reachability problem for o-minimal dynamical systems | 2006-05-16 | Paper |
| On the expressiveness and decidability of o-minimal hybrid systems | 2005-09-02 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
