PAC statistical model checking for Markov decision processes and stochastic games
From MaRDI portal
Publication:6194591
DOI10.1007/978-3-030-25540-4_29arXiv1905.04403OpenAlexW2943876157MaRDI QIDQ6194591
Maximilian Weininger, Jan Křetínský, Pranav Ashok
Publication date: 16 February 2024
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1905.04403
Stochastic games, stochastic differential games (91A15) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
This page was built for publication: PAC statistical model checking for Markov decision processes and stochastic games