Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, G. Dullerud
IEEE Conference on Decision and Control