Cite
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction
MLA
Wang, Yu, et al. Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. 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.2009.07649&authtype=sso&custid=ns315887.
APA
Wang, Y., Roohi, N., West, M., Viswanathan, M., & Dullerud, G. E. (2020). Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction.
Chicago
Wang, Yu, Nima Roohi, Matthew West, Mahesh Viswanathan, and Geir E. Dullerud. 2020. “Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction.” 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.2009.07649&authtype=sso&custid=ns315887.