Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks

MLA

Yang, Pengfei, et al. Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. 2023. 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.2302.06455&authtype=sso&custid=ns315887.

APA

Yang, P., Chi, Z., Liu, Z., Zhao, M., Huang, C.-C., Cai, S., & Zhang, L. (2023). Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.

Chicago

Yang, Pengfei, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, and Lijun Zhang. 2023. “Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.” 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.2302.06455&authtype=sso&custid=ns315887.