Joachim Klein

Available identifiers

zbMath Open klein.joachimMaRDI QIDQ860861

List of research outcomes

Publication	Date of Publication	Type
From LTL to unambiguous Büchi automata via disambiguation of alternating automata	2024-03-14	Paper
Markov chains and unambiguous automata	2023-06-12	Paper
From LTL to unambiguous Büchi automata via disambiguation of alternating automata	2022-06-20	Paper
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination	2021-12-14	Paper
Modeling role-based systems with exogenous coordination	2021-05-20	Paper
Maximizing the conditional expected reward for reaching the goal	2020-08-05	Paper
Generic emptiness check for fun and profit	2020-07-20	Paper
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination	2020-05-26	Paper
Markov chains and unambiguous Büchi automata	2019-05-03	Paper
Weight monitoring with linear temporal logic	2018-04-23	Paper
Compositional construction of most general controllers	2015-06-24	Paper
Probabilistic model checking for energy-utility analysis	2014-06-02	Paper
Synthesis of Reo connectors for strategies and controllers	2014-05-14	Paper
Are good-for-games automata good for probabilistic model checking?	2014-03-31	Paper
A compositional framework for controller synthesis	2011-09-02	Paper
Formal Verification for Components and Connectors	2009-10-28	Paper
On-the-Fly Stuttering in the Construction of Deterministic ω-Automata	2008-06-10	Paper
Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic	2007-01-09	Paper
Implementation and Application of Automata	2006-11-13	Paper
Finite element method for time-dependent problems of frozen soils	1981-01-01	Paper

Research outcomes over time

This page was built for person: Joachim Klein