Travelled to:1 × France
1 × India
1 × USA
Collaborated with:R.Wimmer B.Becker L.M.F.Fioriti H.Hatefi H.Hermanns
Talks about:abstract (3) markov (3) automata (2) base (2) counterexampl (1) generat (1) discret (1) reward (1) measur (1) comput (1)
Person: Bettina Braitling
DBLP: Braitling:Bettina
Contributed to:
2015
20142009Wrote 3 papers:
- VMCAI-2015-BraitlingFHWBH #automaton #markov #metric
- Abstraction-Based Computation of Reward Measures for Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 172–189.
- QAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named #refinement
- MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 48–63.
- VMCAI-2009-WimmerBB #bound #generative #markov #model checking #using
- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking (RW, BB, BB), pp. 366–380.