Skip to main content

Browsing by Author Gurfinkel, Arie

Showing results 1 to 2 of 2
Publication DateArticle TitleAuthor(s)
2019Lazy but Effective Functional SynthesisFedyukovich, Grigory; Gurfinkel, Arie; Gupta, Aarti
2020Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability AnalysisZhang, Hongce; Shinn, Maxwell; Gupta, Aarti; Gurfinkel, Arie; Le, Nham; et al