"Guy Katz" / Journal: cav (1) - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Guy Katz"' showing total 4 results

Start Over "Guy Katz" Journal cav (1)

4 results on '"Guy Katz"'

1. Neural Network Robustness as a Verification Property: A Principled Case Study.

Author: Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, and Idan Refaeli
Published: 2022
Full Text: View/download PDF

2. An Abstraction-Based Framework for Neural Network Verification.

Author: Yizhak Yisrael Elboher, Justin Gottschlich, and Guy Katz
Published: 2020
Full Text: View/download PDF

3. The Marabou Framework for Verification and Analysis of Deep Neural Networks.

Author: Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah 0003, Shantanu Thakoor, Haoze Wu 0001, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, and Clark W. Barrett
Published: 2019
Full Text: View/download PDF

4. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.

Author: Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer
Published: 2017
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results