| Publication | Date of Publication | Type |
|---|
| Verification of hyperproperties for dynamical systems via barrier certificates | 2025-01-21 | Paper |
| The hexatope and octatope abstract domains for neural network verification | 2025-01-13 | Paper |
| k-Inductive Barrier Certificates for Stochastic Systems | 2024-02-21 | Paper |
| Quantitative mitigation of timing side channels | 2024-02-16 | Paper |
| Policy synthesis and reinforcement learning for discounted LTL | 2024-02-01 | Paper |
| Omega-Regular Objectives in Model-Free Reinforcement Learning | 2023-11-24 | Paper |
| The octatope abstract domain for verification of neural networks | 2023-08-17 | Paper |
| An impossibility result in automata-theoretic reinforcement learning | 2023-06-02 | Paper |
| Alternating good-for-MDPs automata | 2023-06-02 | Paper |
| Optimal repair for omega-regular properties | 2023-06-02 | Paper |
| Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives | 2023-04-21 | Paper |
| Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives | 2022-12-22 | Paper |
| Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning | 2022-10-13 | Paper |
| The Reach-Avoid Problem for Constant-Rate Multi-mode Systems | 2022-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089282 | 2022-07-18 | Paper |
| Model-Free Reinforcement Learning for Stochastic Parity Games | 2022-07-18 | Paper |
| Selectively-amortized resource bounding | 2022-06-17 | Paper |
| Regular model checking with regular relations | 2022-05-20 | Paper |
| Model-free reinforcement learning for branching Markov decision processes | 2022-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995373 | 2021-06-24 | Paper |
| Discriminating Traces with Time | 2020-08-05 | Paper |
| Expected reachability-price games | 2020-05-05 | Paper |
| Type-directed bounding of collections in reactive programs | 2020-01-23 | Paper |
| On timed scope-bounded context-sensitive languages | 2019-10-15 | Paper |
| Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems | 2018-12-06 | Paper |
| Incentive Stackelberg Mean-Payoff Games | 2018-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636594 | 2018-04-19 | Paper |
| FO-Definable Transformations of Infinite Strings | 2018-04-19 | Paper |
| Stochastic Timed Games Revisited | 2018-03-21 | Paper |
| Revisiting Robustness in Priced Timed Games | 2017-07-13 | Paper |
| From Monadic Second-Order Definable String Transformations to Transducers | 2017-07-03 | Paper |
| What's decidable about recursive hybrid automata? | 2017-05-19 | Paper |
| Bounded-rate multi-mode systems based motion planning | 2017-05-19 | Paper |
| Optimal scheduling for constant-rate multi-mode systems | 2017-05-16 | Paper |
| Regular Transformations of Infinite Strings | 2017-05-16 | Paper |
| Safe schedulability of bounded-rate multi-mode systems | 2017-05-16 | Paper |
| First-order definable string transformations | 2017-04-25 | Paper |
| A Perfect Class of Context-Sensitive Timed Languages | 2016-08-30 | Paper |
| Expected reachability-time games | 2016-05-02 | Paper |
| A Logical Characterization for Dense-Time Visibly Pushdown Automata | 2016-04-13 | Paper |
| Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable | 2016-04-08 | Paper |
| Symmetric Strategy Improvement | 2015-11-04 | Paper |
| On Pure Nash Equilibria in Stochastic Games | 2015-09-30 | Paper |
| Weak Singular Hybrid Automata | 2015-08-06 | Paper |
| Adding Negative Prices to Priced Timed Games | 2014-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3165971 | 2012-10-19 | Paper |
| Playing Stochastic Games Precisely | 2012-09-25 | Paper |
| Recursive timed automata | 2010-10-04 | Paper |
| Expected reachability-time games | 2010-09-10 | Paper |
| Concavely-Priced Probabilistic Timed Automata | 2009-10-22 | Paper |
| Concavely-Priced Timed Automata | 2008-12-02 | Paper |
| Reachability-Time Games on Timed Automata | 2007-11-28 | Paper |
