| Publication | Date of Publication | Type |
|---|
| Semi-quantitative abstraction and analysis of chemical reaction networks | 2024-02-16 | Paper |
| PAC statistical model checking for Markov decision processes and stochastic games | 2024-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6176097 | 2023-08-21 | Paper |
| Satisfiability of quantitative probabilistic CTL: rise to the challenge | 2023-08-10 | Paper |
| Continuous-time Markov decisions based on partial exploration | 2023-07-28 | Paper |
| Owl: a library for \(\omega \)-words, automata, and LTL | 2023-07-28 | Paper |
| Optimistic and topological value iteration for simple stochastic games | 2023-06-02 | Paper |
| Value iteration for simple stochastic games: stopping criterion and learning algorithm | 2023-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875366 | 2023-02-03 | Paper |
| Abstraction-based segmental simulation of chemical reaction networks | 2023-01-18 | Paper |
| Comparison of algorithms for simple stochastic games | 2022-12-08 | Paper |
| A Unified Translation of Linear Temporal Logic to ω-Automata | 2022-12-08 | Paper |
| Index appearance record with preorders | 2022-09-26 | Paper |
| Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes | 2022-08-12 | Paper |
| Value iteration for long-run average reward in Markov decision processes | 2022-07-01 | Paper |
| Value iteration for simple stochastic games: stopping criterion and learning algorithm | 2022-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021007 | 2022-01-11 | Paper |
| Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009450 | 2021-08-04 | Paper |
| Automata Tutor v3 | 2021-02-09 | Paper |
| dtControl | 2021-01-25 | Paper |
| dtControl | 2021-01-25 | Paper |
| Approximating Values of Generalized-Reachability Stochastic Games | 2021-01-21 | Paper |
| One Theorem to Rule Them All | 2021-01-20 | Paper |
| Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129946 | 2020-11-03 | Paper |
| From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata | 2020-08-05 | Paper |
| Index Appearance Record for Transforming Rabin Automata into Parity Automata | 2020-08-05 | Paper |
| Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis | 2020-07-20 | Paper |
| Logical vs. behavioural specifications | 2020-03-12 | Paper |
| 30 Years of Modal Transition Systems: Survey of Extensions and Analysis | 2020-02-24 | Paper |
| Faster statistical model checking for unbounded temporal properties | 2019-09-17 | Paper |
| Strategy representation by decision trees in reactive synthesis | 2019-09-16 | Paper |
| Limit-Deterministic Büchi Automata for Linear Temporal Logic | 2019-05-03 | Paper |
| Compositionality for quantitative specifications | 2018-10-22 | Paper |
| Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes | 2018-04-23 | Paper |
| Linear Distances between Markov Chains | 2018-03-21 | Paper |
| Counterexample explanation by learning small strategies in Markov decision processes | 2018-03-01 | Paper |
| Polynomial Time Decidability of Weighted Synchronization under Partial Observability | 2017-09-12 | Paper |
| From LTL to deterministic automata. A safraless compositional approach | 2017-07-26 | Paper |
| Faster statistical model checking for unbounded temporal properties | 2017-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5278082 | 2017-07-13 | Paper |
| Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games | 2017-05-19 | Paper |
| Measuring performance of continuous-time stochastic processes using timed automata | 2017-05-16 | Paper |
| Verification of Open Interactive Markov Chains | 2017-01-26 | Paper |
| Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games | 2016-12-15 | Paper |
| Controller Synthesis for MDPs and Frequency LTL $$_{\setminus \mathbf{G}\mathbf U}$$ | 2016-01-12 | Paper |
| Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata | 2015-12-17 | Paper |
| Refinement checking on parametric modal transition systems | 2015-04-16 | Paper |
| Probabilistic Bisimulation: Naturally on Distributions | 2014-09-15 | Paper |
| Rabinizer 2: Small Deterministic Automata for LTL ∖ GU | 2014-07-08 | Paper |
| MoTraS: A Tool for Modal Transition Systems and Their Extensions | 2014-07-08 | Paper |
| On Refinements of Boolean and Parametric Modal Transition Systems | 2013-10-04 | Paper |
| Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory | 2013-08-12 | Paper |
| Compositional Verification and Optimization of Interactive Markov Chains | 2013-08-12 | Paper |
| Continuous-time stochastic games with time-bounded reachability | 2013-06-06 | Paper |
| EXPTIME-completeness of thorough refinement on modal transition systems | 2012-11-27 | Paper |
| Rabinizer: Small Deterministic Automata for LTL(F,G) | 2012-11-21 | Paper |
| Continuous-Time Stochastic Games with Time-Bounded Reachability. | 2012-10-24 | Paper |
| Process Algebra for Modal Transition Systemses | 2012-09-28 | Paper |
| Modal Process Rewrite Systems | 2012-09-21 | Paper |
| Dual-Priced Modal Transition Systems with Time Durations | 2012-06-15 | Paper |
| Modal Transition Systems: Composition and LTL Model Checking | 2011-10-07 | Paper |
| Parametric Modal Transition Systems | 2011-10-07 | Paper |
| Fixed-Delay Events in Generalized Semi-Markov Processes Revisited | 2011-09-02 | Paper |
| Stochastic Real-Time Games with Qualitative Timed Automata Objectives | 2010-08-31 | Paper |
| On determinism in modal transition systems | 2009-09-29 | Paper |
| Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete | 2009-08-20 | Paper |
