Collaborated with:J.Kretínský M.Weininger K.Chatterjee P.Daca T.Meggendorfer
Talks about:process (2) markov (2) decis (2) stochast (1) statist (1) reward (1) averag (1) model (1) check (1) valu (1)
Person: Pranav Ashok
DBLP: Ashok:Pranav
Contributed to:
20172019Wrote 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-2019-AshokKW #game studies #markov #model checking #probability #process #statistics
- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games (PA, JK, MW), pp. 497–519.