PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, Pazhamalai Muruganandham. PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. In Sharon Shoham, Yakir Vizel, editors, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. Volume 13372 of Lecture Notes in Computer Science, pages 3-25, Springer, 2022. [doi]

This author has not been identified. Look up 'Chaitanya Agarwal' in GoogleThis author has not been identified. Look up 'Shibashis Guha' in GoogleThis author has not been identified. Look up 'Jan Kretínský' in GoogleThis author has not been identified. Look up 'Pazhamalai Muruganandham' in Google

runs on WebDSL