| Publication | Date of Publication | Type |
|---|
| Semilinear representations for series-parallel atomic congestion games | 2024-09-12 | Paper |
| Parameterized safety verification of round-based shared-memory systems | 2024-06-24 | Paper |
| Computing the price of anarchy in atomic network congestion games (invited talk) | 2024-05-03 | Paper |
| Abstraction refinement algorithms for timed automata | 2024-02-16 | Paper |
| Reasoning about Quality and Fuzziness of Strategic Behaviors | 2023-07-18 | Paper |
| Synchronizing words under \textsf{LTL} constraints | 2023-06-05 | Paper |
| Repairing real-time requirements | 2023-06-02 | Paper |
| Control strategies for off-line testing of timed systems | 2023-05-08 | Paper |
| Control Strategies for Off-Line Testing of Timed Systems | 2023-03-21 | Paper |
| Non-blind strategies in timed network congestion games | 2023-01-18 | Paper |
| Reachability games with relaxed energy constraints | 2022-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020520 | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384895 | 2021-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015269 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013874 | 2021-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013877 | 2021-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994890 | 2021-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992517 | 2021-06-09 | Paper |
| Optimal and robust controller synthesis. Using energy timed automata with uncertainty | 2021-05-04 | Paper |
| Optimal and robust controller synthesis using energy timed automata with uncertainty | 2021-03-04 | Paper |
| Computing maximally-permissive strategies in acyclic timed automata | 2021-03-02 | Paper |
| Active learning of timed automata with unobservable resets | 2021-03-02 | Paper |
| Incremental methods for checking real-time consistency | 2021-03-02 | Paper |
| Dependences in Strategy Logic | 2020-08-05 | Paper |
| Dependences in strategy logic | 2020-04-15 | Paper |
| Timed Temporal Logics | 2020-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208876 | 2020-01-22 | Paper |
| Game-based Synthesis of Distributed Controllers for Sampled Switched Systems | 2019-10-24 | Paper |
| Parameterized verification of synchronization in constrained reconfigurable broadcast networks | 2019-09-16 | Paper |
| Symbolic Optimal Reachability in Weighted Timed Automata | 2019-05-03 | Paper |
| Compositional synthesis of state-dependent switching control | 2018-11-23 | Paper |
| Model Checking Real-Time Systems | 2018-07-20 | Paper |
| Average-energy games | 2018-04-10 | Paper |
| Distributed synthesis of state-dependent switching control | 2018-03-26 | Paper |
| On the Expressiveness of QCTL | 2018-03-21 | Paper |
| Timed-automata abstraction of switched dynamical systems using control invariants | 2018-02-19 | Paper |
| Reachability in Networks of Register Protocols under Stochastic Schedulers | 2017-12-19 | Paper |
| On the determinization of timed systems | 2017-12-01 | Paper |
| On the Value Problem in Weighted Timed Games. | 2017-09-12 | Paper |
| Weighted Strategy Logic with Boolean Goals Over One-Counter Games. | 2017-07-13 | Paper |
| Bounding Average-Energy Games | 2017-05-19 | Paper |
| Nash equilibria in symmetric graph games with partial observation | 2017-05-12 | Paper |
| Timed automata with observers under energy constraints | 2017-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2978507 | 2017-04-25 | Paper |
| Mixed Nash Equilibria in Concurrent Terminal-Reward Games | 2017-04-25 | Paper |
| Quantitative Verification of Weighted Kripke Structures | 2015-12-17 | Paper |
| Symmetry Reduction in Infinite Games with Finite Branching | 2015-12-17 | Paper |
| Augmenting ATL with strategy contexts | 2015-12-07 | Paper |
| On the semantics of strategy logic | 2015-12-01 | Paper |
| Language Preservation Problems in Parametric Timed Automata | 2015-09-14 | Paper |
| Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels | 2015-09-14 | Paper |
| Pure Nash Equilibria in Concurrent Deterministic Games | 2015-08-25 | Paper |
| Quantified CTL: Expressiveness and Complexity | 2015-01-15 | Paper |
| Robust reachability in timed automata and games: a game-based approach | 2014-12-12 | Paper |
| Averaging in LTL | 2014-09-15 | Paper |
| Robustness in Timed Automata | 2014-07-07 | Paper |
| Shrinking timed automata | 2014-02-11 | Paper |
| Robust Weighted Timed Automata and Games | 2013-08-16 | Paper |
| Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past | 2013-08-15 | Paper |
| Robust Controller Synthesis in Timed Automata | 2013-08-12 | Paper |
| On termination and invariance for faulty channel machines | 2013-03-22 | Paper |
| On Termination for Faulty Channel Machines | 2013-03-19 | Paper |
| Robust Reachability in Timed Automata: A Game-Based Approach | 2012-11-01 | Paper |
| Quantified CTL: Expressiveness and Model Checking | 2012-09-25 | Paper |
| Shrinking Timed Automata. | 2012-08-31 | Paper |
| Nash Equilibria in Concurrent Games with Büchi Objectives | 2012-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2908843 | 2012-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2908860 | 2012-08-29 | Paper |
| Concurrent Games with Ordered Objectives | 2012-06-22 | Paper |
| Robust Model-Checking of Timed Automata via Pumping in Channel Machines | 2011-10-07 | Paper |
| Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited | 2011-10-07 | Paper |
| Timed Automata Can Always Be Made Implementable | 2011-09-02 | Paper |
| Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games | 2010-09-10 | Paper |
| Nash Equilibria for Reachability Objectives in Multi-player Timed Games | 2010-08-31 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| On the expressiveness of TPTL and MTL | 2010-02-26 | Paper |
| Improved undecidability results on weighted timed automata | 2010-01-18 | Paper |
| Mu-calculus path checking | 2009-12-18 | Paper |
| Measuring Permissivity in Finite Games | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395959 | 2009-09-15 | Paper |
| A PTIME-complete matching problem for SLP-compressed words | 2009-07-21 | Paper |
| Robust safety of timed automata | 2009-07-06 | Paper |
| ATL with Strategy Contexts and Bounded Memory | 2009-02-24 | Paper |
| Infinite Runs in Weighted Timed Automata with Energy Constraints | 2008-12-02 | Paper |
| Timed Concurrent Game Structures | 2008-09-18 | Paper |
| Robust Model-Checking of Linear-Time Properties in Timed Automata | 2008-09-18 | Paper |
| On Expressiveness and Complexity in Real-Time Model Checking | 2008-08-19 | Paper |
| On the Expressiveness and Complexity of ATL | 2008-08-07 | Paper |
| Model Checking One-clock Priced Timed Automata | 2008-08-07 | Paper |
| Model-Checking Timed ATL for Durational Concurrent Game Structures | 2008-07-08 | Paper |
| Costs Are Expensive! | 2008-07-03 | Paper |
| Almost Optimal Strategies in One Clock Priced Timed Games | 2008-04-17 | Paper |
| Robust Analysis of Timed Automata Via Channel Machines | 2008-04-11 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| On the Expressiveness and Complexity of ATL | 2007-09-07 | Paper |
| Model-Checking One-Clock Priced Timed Automata | 2007-09-07 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| Model checking restricted sets of timed paths | 2006-09-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 |
| Past is for free: On the complexity of verifying linear temporal properties with past | 2004-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738231 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771058 | 2002-02-14 | Paper |
