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

29 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.

Computer Science

Keyphrases