65
Publications
2,549
Citations
18
h-index
20
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (33)
- Preprint (19)
- Book Chapter (12)
- Paratext (1)
Filter by Open Access Type
- Open Access (28)
- Closed Access (37)
Filter by Authors
- Guy Katz (65)
- Clark Barrett (17)
- Guy Amir (11)
- David Harel (10)
- Assaf Marron (8)
Filter by Topics
- Adversarial Robustness in Machine Learning (31)
- Software Testing and Debugging Techniques (12)
- Formal Methods in Verification (10)
- Advanced Neural Network Applications (9)
- Explainable Artificial Intelligence (XAI) (8)