Author: "Guy Katz" / Journal: lpar - 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 Author "Guy Katz" Journal lpar

4 results on '"Guy Katz"'

1. Tighter Abstract Queries in Neural Network Verification.

Author: Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, and Guy Katz
Published: 2023
Full Text: View/download PDF

2. Minimal Modifications of Deep Neural Networks using Verification.

Author: Ben Goldberger, Guy Katz, Yossi Adi, and Joseph Keshet
Published: 2020
Full Text: View/download PDF

3. Relaxing Synchronization Constraints in Behavioral Programs.

Author: David Harel, Amir Kantor, and Guy Katz
Published: 2013
Full Text: View/download PDF

4. On Module-Based Abstraction and Repair of Behavioral Programs.

Author: Guy Katz
Published: 2013
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results