Travelled to:
1 × France
1 × India
Collaborated with:
B.Braitling L.M.F.Fioriti R.Wimmer B.Becker H.Hermanns
Talks about:
abstract (3) automata (2) markov (2) base (2) reward (1) measur (1) comput (1) refin (1) menu (1) gara (1)
Person: Hassan Hatefi
DBLP: Hatefi:Hassan
Contributed to:
Wrote 2 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.