Author: "Guy Katz" / Journal: atva - 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 3 results

Start Over Author "Guy Katz" Journal atva

3 results on '"Guy Katz"'

1. An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks.

Author: Matan Ostrovsky, Clark W. Barrett, and Guy Katz
Published: 2022
Full Text: View/download PDF

2. Verifying Recurrent Neural Networks Using Invariant Inference.

Author: Yuval Jacoby, Clark W. Barrett, and Guy Katz
Published: 2020
Full Text: View/download PDF

3. DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks.

Author: Divya Gopinath, Guy Katz, Corina S. Pasareanu, and Clark W. Barrett
Published: 2018
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results