Browsing by Author Gurfinkel, Arie
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2019 | Lazy but Effective Functional Synthesis | Fedyukovich, Grigory; Gurfinkel, Arie; Gupta, Aarti |
| 2020 | Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis | Zhang, Hongce; Shinn, Maxwell; Gupta, Aarti; Gurfinkel, Arie; Le, Nham; et al |