Travelled to:1 × Norway
Collaborated with:J.Katoen S.Junges N.Jansen C.Dehnert R.Wimmer E.Ábrahám B.Becker
Talks about:counterexampl (1) automata (1) multipl (1) reward (1) object (1) markov (1) expect (1) sound (1) valu (1) iter (1)
Person: Tim Quatmann
DBLP: Quatmann:Tim
Contributed to:
2015
20172018Wrote 3 papers:
- FM-2015-QuatmannJDWAKB
- Counterexamples for Expected Rewards (TQ, NJ, CD, RW, EÁ, JPK, BB), pp. 435–452.
- CAV-2017-QuatmannJK #automaton #markov #multi
- Markov Automata with Multiple Objectives (TQ, SJ, JPK), pp. 140–159.
- CAV-2018-QuatmannK
- Sound Value Iteration (TQ, JPK), pp. 643–661.