Cite
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
MLA
Wang, Yu, et al. Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. 2020. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2004.00273&authtype=sso&custid=ns315887.
APA
Wang, Y., Roohi, N., West, M., Viswanathan, M., & Dullerud, G. E. (2020). Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning.
Chicago
Wang, Yu, Nima Roohi, Matthew West, Mahesh Viswanathan, and Geir E. Dullerud. 2020. “Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2004.00273&authtype=sso&custid=ns315887.