| Publication | Date of Publication | Type |
|---|
| Optimization of preventive replacements dates and covariate inspections for repairable systems in varying environments | 2023-07-10 | Paper |
| Observation and distinction: representing information in infinite games | 2023-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5874322 | 2023-02-07 | Paper |
| Bounds for synchronizing Markov decision processes | 2022-11-11 | Paper |
| Graph planning with expected finite horizon | 2022-06-13 | Paper |
| Accelerated degradation tests with inspection effects | 2021-06-07 | Paper |
| The Cost of Exactness in Quantitative Reachability | 2020-02-24 | Paper |
| Consistent semiparametric estimators for recurrent event times models with application to virtual age models | 2019-12-05 | Paper |
| The complexity of synchronizing Markov decision processes | 2019-05-02 | Paper |
| Verification of Hybrid Systems | 2018-07-20 | Paper |
| Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4598239 | 2017-12-19 | Paper |
| The failure of the profile likelihood method for a large class of semi-parametric models | 2017-09-21 | Paper |
| Partial-Observation Stochastic Games: How to Win When Belief Fails | 2017-05-16 | Paper |
| Doomsday equilibria for omega-regular games | 2017-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2978507 | 2017-04-25 | Paper |
| Randomness for free | 2015-12-07 | Paper |
| The Complexity of Synthesis from Probabilistic Components | 2015-11-04 | Paper |
| Quantitative languages | 2015-09-17 | Paper |
| Looking at mean-payoff and total-payoff through windows | 2015-06-01 | Paper |
| The complexity of multi-mean-payoff and multi-energy games | 2015-05-04 | Paper |
| Doomsday equilibria for omega-regular games | 2015-01-13 | Paper |
| Robust Synchronization in Markov Decision Processes | 2014-09-15 | Paper |
| Partial-Observation Stochastic Games | 2014-07-17 | Paper |
| Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points | 2014-07-08 | Paper |
| Looking at Mean-Payoff and Total-Payoff through Windows | 2014-07-08 | Paper |
| Games with a Weak Adversary | 2014-07-01 | Paper |
| A survey of partial-observation stochastic parity games | 2014-06-30 | Paper |
| Limit Synchronization in Markov Decision Processes | 2014-04-16 | Paper |
| Perfect-Information Stochastic Mean-Payoff Parity Games | 2014-04-16 | Paper |
| The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies | 2014-04-16 | Paper |
| Reliability analysis and joint assessment of Brown-Proschan preventive maintenance efficiency and intrinsic wear-out | 2012-12-30 | Paper |
| Bayesian Analysis of ARA Imperfect Repair Models | 2012-11-12 | Paper |
| Energy parity games | 2012-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3165948 | 2012-10-19 | Paper |
| Generalized Mean-payoff and Energy Games | 2012-08-29 | Paper |
| Antichain-Based QBF Solving | 2011-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3172532 | 2011-10-05 | Paper |
| On Memoryless Quantitative Objectives | 2011-08-19 | Paper |
| Energy and Mean-Payoff Parity Markov Decision Processes | 2011-08-17 | Paper |
| Infinite Synchronizing Words for Probabilistic Automata | 2011-08-17 | Paper |
| On Reachability for Hybrid Automata over Bounded Time | 2011-07-07 | Paper |
| Faster algorithms for mean-payoff games | 2011-05-23 | Paper |
| The Complexity of Partial-Observation Parity Games | 2010-10-12 | Paper |
| Strategy construction for parity games with imperfect information | 2010-10-07 | Paper |
| Expressiveness and Closure Properties for Quantitative Languages | 2010-09-21 | Paper |
| Energy Parity Games | 2010-09-07 | Paper |
| Energy and Mean-Payoff Games with Imperfect Information | 2010-09-03 | Paper |
| Randomness for Free | 2010-09-03 | Paper |
| Qualitative Analysis of Partially-Observable Markov Decision Processes | 2010-09-03 | Paper |
| Mean-Payoff Automaton Expressions | 2010-08-31 | Paper |
| Antichain Algorithms for Finite Automata | 2010-04-27 | Paper |
| Asymptotic properties of imperfect repair models and estimation of repair efficiency | 2010-04-21 | Paper |
| Robust parametric reachability for timed automata | 2010-01-29 | Paper |
| Realizability of Real-Time Logics | 2009-12-01 | Paper |
| Probabilistic Weighted Automata | 2009-10-22 | Paper |
| Alternating Weighted Automata | 2009-10-20 | Paper |
| A Survey of Stochastic Games with Limsup and Liminf Objectives | 2009-07-14 | Paper |
| Robust safety of timed automata | 2009-07-06 | Paper |
| Antichains for the Automata-Based Approach to Model-Checking | 2009-04-29 | Paper |
| Algorithms for Omega-Regular Games with Imperfect Information | 2009-03-12 | Paper |
| Strategy Construction for Parity Games with Imperfect Information | 2008-11-25 | Paper |
| EQUIVALENCE OF LABELED MARKOV CHAINS | 2008-11-24 | Paper |
| Quantitative Languages | 2008-11-20 | Paper |
| Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking | 2008-04-11 | Paper |
| Algorithms for Omega-Regular Games with Imperfect Information | 2007-11-15 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Antichains: A New Algorithm for Checking Universality of Finite Automata | 2007-09-05 | Paper |
| Improved Algorithms for the Automata-Based Approach to Model-Checking | 2007-09-03 | Paper |
| Imperfect maintenance in a generalized competing risks framework | 2007-08-23 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3374267 | 2006-03-09 | Paper |
| FM 2005: Formal Methods | 2006-01-10 | Paper |
| Almost ASAP semantics: from timed models to timed implementations | 2005-12-13 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
