FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP

Authors: Chaitanya Agarwal, Shibashis Guha, Jan Křetínský and Pazhamalai Muruganandham

Paper Information

Title:PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
Authors:Chaitanya Agarwal, Shibashis Guha, Jan Křetínský and Pazhamalai Muruganandham
Proceedings:CAV 2022 All Papers
Editors: Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan
Keywords:Markov decision processes, Statistical model checking, Mean payoff, Reinforcement learning
Pages:21
Talk:Aug 08 16:00 (Session 98A: Probabilistic Techniques)
Paper: