| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6124935 | 2024-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6124936 | 2024-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6187058 | 2024-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6134270 | 2024-01-16 | Paper |
| Subgame optimal strategies in finite concurrent games with prefix-independent objectives | 2023-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6134270 | 2023-08-21 | Paper |
| Reasoning about Quality and Fuzziness of Strategic Behaviors | 2023-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875394 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875665 | 2023-02-03 | Paper |
| Zone-based verification of timed automata: extrapolations, simulations and what next? | 2023-01-18 | Paper |
| Synthesis in presence of dynamic links | 2022-12-08 | Paper |
| Decisiveness of stochastic systems and its application to hybrid models | 2022-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5092367 | 2022-07-21 | Paper |
| CONCUR Test-of-time award 2020 announcement | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089289 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079750 | 2022-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028465 | 2022-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020999 | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021008 | 2022-01-11 | 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 |
| Timed automata | 2021-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994890 | 2021-06-22 | Paper |
| Optimal and robust controller synthesis. Using energy timed automata with uncertainty | 2021-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856427 | 2021-03-26 | Paper |
| Optimal and robust controller synthesis using energy timed automata with uncertainty | 2021-03-04 | Paper |
| Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version) | 2020-09-28 | Paper |
| Dependences in Strategy Logic | 2020-08-05 | Paper |
| A Note on Game Theory and Verification | 2020-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111645 | 2020-05-27 | Paper |
| Dependences in strategy logic | 2020-04-15 | Paper |
| Timed Temporal Logics | 2020-02-24 | Paper |
| Identifiers in registers. Describing network algorithms with logic | 2020-01-28 | Paper |
| Decisiveness of Stochastic Systems and its Application to Hybrid Models | 2020-01-13 | Paper |
| Symbolic Optimal Reachability in Weighted Timed Automata | 2019-05-03 | Paper |
| Model Checking Real-Time Systems | 2018-07-20 | Paper |
| Games on graphs with a public signal monitoring | 2018-07-17 | Paper |
| When are stochastic transition systems tameable? | 2018-06-27 | Paper |
| Average-energy games | 2018-04-10 | Paper |
| Stochastic Timed Games Revisited | 2018-03-21 | Paper |
| Timed-automata abstraction of switched dynamical systems using control invariants | 2018-02-19 | Paper |
| Analysing Decisive Stochastic Processes | 2017-12-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 |
| Dynamic Complexity of the Dyck Reachability | 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 |
| Mixed Nash Equilibria in Concurrent Terminal-Reward Games | 2017-04-25 | Paper |
| Compositional Design of Stochastic Timed Automata | 2016-07-25 | Paper |
| Quantitative Verification of Weighted Kripke Structures | 2015-12-17 | Paper |
| On the semantics of strategy logic | 2015-12-01 | 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 |
| Model-checking Timed Temporal Logics | 2015-03-23 | Paper |
| Stochastic Timed Automata | 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 |
| https://portal.mardi4nfdi.de/entity/Q2851314 | 2013-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849560 | 2013-09-20 | Paper |
| Robust Weighted Timed Automata and Games | 2013-08-16 | 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 |
| 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/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 |
| Weighted o-minimal hybrid systems | 2011-08-26 | Paper |
| Emptiness and Universality Problems in Timed Automata with Positive Frequency | 2011-07-07 | Paper |
| Timed modal logics for real-time systems. Specification, verification and control | 2011-06-30 | 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 |
| Computer Aided Verification | 2010-04-20 | Paper |
| O-Minimal Hybrid Reachability Games | 2010-03-15 | Paper |
| On the expressiveness of TPTL and MTL | 2010-02-26 | Paper |
| Improved undecidability results on weighted timed automata | 2010-01-18 | Paper |
| Measuring Permissivity in Finite Games | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396585 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190773 | 2009-07-27 | Paper |
| When Are Timed Automata Determinizable? | 2009-07-14 | Paper |
| Reachability in Stochastic Timed Games | 2009-07-14 | Paper |
| Undecidability Results for Timed Automata with Silent Transitions | 2009-06-30 | Paper |
| Infinite Runs in Weighted Timed Automata with Energy Constraints | 2008-12-02 | Paper |
| Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets | 2008-12-02 | Paper |
| Robust Model-Checking of Linear-Time Properties in Timed Automata | 2008-09-18 | Paper |
| Timed Unfoldings for Networks of Timed Automata | 2008-09-04 | Paper |
| Timed Temporal Logics for Abstracting Transient States | 2008-09-04 | Paper |
| On Expressiveness and Complexity in Real-Time Model Checking | 2008-08-19 | Paper |
| Model Checking One-clock Priced Timed Automata | 2008-08-07 | Paper |
| Costs Are Expensive! | 2008-07-03 | Paper |
| Probabilistic and Topological Semantics for Timed Automata | 2008-04-24 | 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 |
| Optimal infinite scheduling for multi-priced timed automata | 2008-03-11 | Paper |
| Timed Petri nets and timed automata: On the discriminating power of Zeno sequences | 2008-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5437180 | 2008-01-18 | Paper |
| Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! | 2008-01-04 | Paper |
| On the optimal reachability problem of weighted timed automata | 2007-10-11 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences | 2007-09-11 | Paper |
| Model-Checking One-Clock Priced Timed Automata | 2007-09-07 | Paper |
| Controller Synthesis for MTL Specifications | 2007-09-04 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| Updatable timed automata | 2004-11-12 | Paper |
| Forward analysis of updatable timed automata | 2004-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418686 | 2003-08-11 | Paper |
| The power of reachability testing for timed automata | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417927 | 2003-07-30 | Paper |
| An algebraic approach to data languages and timed languages | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4807830 | 2003-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791839 | 2003-02-03 | Paper |
| A logical characterization of data languages. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536359 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754107 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938626 | 2000-02-23 | Paper |
