The following pages link to Marcus Größer (Q715045):
Displaying 14 items.
- Stochastic game logic (Q715046) (← links)
- Recurrence and Transience for Probabilistic Automata. (Q2920147) (← links)
- Stochastic Timed Automata (Q2938760) (← links)
- The Effect of Tossing Coins in Omega-Automata (Q3184662) (← links)
- Partial Order Reduction for Markov Decision Processes: A Survey (Q3591387) (← links)
- Probabilistic Acceptors for Languages over Infinite Words (Q3599062) (← links)
- Quantitative Analysis under Fairness Constraints (Q3648696) (← links)
- (Q4673428) (← links)
- Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
- (Q5146511) (← links)
- Validation of Stochastic Systems (Q5325837) (← links)
- Probabilistic ω-automata (Q5395674) (← links)
- On Decision Problems for Probabilistic Büchi Automata (Q5458366) (← links)
- Probabilistic and Topological Semantics for Timed Automata (Q5458833) (← links)
