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: |  |