The following pages link to Joachim Klein (Q860861):
Displaying 20 items.
- Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic (Q860862) (← links)
- Modeling role-based systems with exogenous coordination (Q2026788) (← links)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata (Q2147688) (← links)
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination (Q2182734) (← links)
- Compositional construction of most general controllers (Q2350495) (← links)
- A Compositional Framework for Controller Synthesis (Q3090853) (← links)
- Generic Emptiness Check for Fun and Profit (Q3297604) (← links)
- Maximizing the Conditional Expected Reward for Reaching the Goal (Q3303934) (← links)
- (Q3384160) (← links)
- On-the-Fly Stuttering in the Construction of Deterministic ω-Automata (Q3503894) (← links)
- Formal Verification for Components and Connectors (Q3638992) (← links)
- Finite element method for time-dependent problems of frozen soils (Q3911524) (← links)
- Markov Chains and Unambiguous Büchi Automata (Q4633525) (← links)
- Weight monitoring with linear temporal logic (Q4635594) (← links)
- Are Good-for-Games Automata Good for Probabilistic Model Checking? (Q5404935) (← links)
- Synthesis of Reo Connectors for Strategies and Controllers (Q5416726) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
- Implementation and Application of Automata (Q5897677) (← links)
- Markov chains and unambiguous automata (Q6098148) (← links)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata (Q6535954) (← links)
