Bettina Braitling
From MaRDI portal
Person:2403525
Available identifiers
zbMath Open braitling.bettinaMaRDI QIDQ2403525
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Cost vs. time in stochastic games and Markov automata | 2017-09-08 | Paper |
| Cost vs. Time in Stochastic Games and Markov Automata | 2017-08-31 | Paper |
| Abstraction-Based Computation of Reward Measures for Markov Automata | 2015-02-04 | Paper |
| Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking | 2009-02-10 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Bettina Braitling
