The following pages link to Bettina Braitling (Q2403525):
Displayed 4 items.
- Cost vs. time in stochastic games and Markov automata (Q2403526) (← links)
- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking (Q3600486) (← links)
- Abstraction-Based Computation of Reward Measures for Markov Automata (Q5172642) (← links)
- Cost vs. Time in Stochastic Games and Markov Automata (Q5351873) (← links)