DNN Verification, Reachability, and the Exponential Function Problem

MLA

Omri Isac and Yoni Zohar and Clark Barrett and Guy Katz, et al. DNN Verification, Reachability, and the Exponential Function Problem. 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=edsoai&AN=edsoai.on1402194138&authtype=sso&custid=ns315887.

APA

Omri Isac and Yoni Zohar and Clark Barrett and Guy Katz, Isac, O., Zohar, Y., Barrett, C., & Katz, G. (2023). DNN Verification, Reachability, and the Exponential Function Problem.

Chicago

Omri Isac and Yoni Zohar and Clark Barrett and Guy Katz, Omri Isac, Yoni Zohar, Clark Barrett, and Guy Katz. 2023. “DNN Verification, Reachability, and the Exponential Function Problem.” 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=edsoai&AN=edsoai.on1402194138&authtype=sso&custid=ns315887.