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