| Publication | Date of Publication | Type |
|---|
| Learning attack trees by genetic algorithms | 2024-09-13 | Paper |
| Reproduction Package for Submission `A Literature Review on Verification and Abstraction of Neural Networks' | 2024-08-19 | Dataset |
| Anytime guarantees for reachability in uncountable Markov decision processes | 2024-08-13 | Paper |
| Expected Cost Analysis of Attack-Defense Trees | 2024-03-14 | Paper |
| Strategy Representation by Decision Trees with Linear Classifiers | 2024-03-14 | Paper |
| 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 |
| Guessing winning policies in LTL synthesis by semantic learning | 2024-02-01 | Paper |
| Learning model checking and the kernel trick for signal temporal logic on stochastic processes | 2024-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6176097 | 2023-08-21 | Paper |
| Satisfiability of quantitative probabilistic CTL: rise to the challenge | 2023-08-10 | Paper |
| QComp LRA results | 2023-08-06 | Dataset |
| Owl: a library for \(\omega \)-words, automata, and LTL | 2023-07-28 | Paper |
| Continuous-time Markov decisions based on partial exploration | 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 |
| Of cores: a partial-exploration framework for Markov decision processes | 2023-02-03 | Paper |
| Abstraction-based segmental simulation of chemical reaction networks | 2023-01-18 | Paper |
| A Unified Translation of Linear Temporal Logic to ω-Automata | 2022-12-08 | Paper |
| Comparison of algorithms for simple stochastic games | 2022-12-08 | Paper |
| PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP | 2022-12-07 | 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 |
| Comparison of algorithms for simple stochastic games | 2022-01-11 | Paper |
| Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints | 2021-08-04 | Paper |
| The satisfiability problem for unbounded fragments of probabilistic CTL | 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: a unified translation of LTL into \(\omega \)-automata | 2021-01-20 | Paper |
| Conditional value-at-risk for reachability and mean payoff in Markov decision processes | 2021-01-20 | Paper |
| Of cores: a partial-exploration framework for Markov decision processes | 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 |
| Unifying two views on multiple mean-payoff objectives in Markov decision processes | 2017-07-13 | Paper |
| Faster statistical model checking for unbounded temporal properties | 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 |
| MoTraS: a tool for modal transition systems and their extensions | 2014-07-08 | Paper |
| Rabinizer 2: small deterministic automata for \(\mathrm{LTL}_{ \setminus\mathbf{GU}}\) | 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 \({\mathrm{LTL}(\mathrm{F},\mathrm{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 |
