Skip to main navigation Skip to search Skip to main content

Verification of recurrent neural networks for cognitive tasks via reachability analysis

  • Hongce Zhang
  • , Maxwell Shinn
  • , Aarti Gupta
  • , Arie Gurfinkel
  • , Nham Le
  • , Nina Narodytska

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

32   Link opens in a new tab Scopus citations

Fingerprint

Dive into the research topics of 'Verification of recurrent neural networks for cognitive tasks via reachability analysis'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science