Collaborated with:J.Kretínský P.Ashok E.Kelmendi J.Krämer
Talks about:stochast (2) game (2) criterion (1) algorithm (1) statist (1) process (1) markov (1) simpl (1) model (1) learn (1)
Person: Maximilian Weininger
DBLP: Weininger:Maximilian
Contributed to:
20182019Wrote 2 papers:
- CAV-2018-KelmendiKKW #algorithm #game studies #learning #probability
- Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm (EK, JK, JK, MW), pp. 623–642.
- 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.