Collaborated with:J.Kretínský S.Sickert C.Ziegler P.Ashok K.Chatterjee P.Daca
Talks about:determinist (1) automaton (1) favourit (1) process (1) reward (1) markov (1) averag (1) rabin (1) decis (1) valu (1)
Person: Tobias Meggendorfer
DBLP: Meggendorfer:Tobias
Contributed to:
20172018Wrote 2 papers:
- CAV-2017-AshokCDKM #markov #process
- Value Iteration for Long-Run Average Reward in Markov Decision Processes (PA, KC, PD, JK, TM), pp. 201–221.
- CAV-2018-KretinskyMSZ #automaton #ltl
- Rabinizer 4: From LTL to Your Favourite Deterministic Automaton (JK, TM, SS, CZ), pp. 567–577.