PAC statistical model checking for Markov decision processes and stochastic games

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

Mathematics Subject Classification ID

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)

A framework for transforming specifications in reinforcement learning ⋮ Unnamed Item

This page was built for publication: PAC statistical model checking for Markov decision processes and stochastic games