Refinement Type Contracts for Verification of Scientific Investigative Software

von Shinn, Maxwell
Veröffentlicht in VSTTE (11. : 2019 : New York, NY) Verified software (2020)

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

von Zhang, Hongce
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 3 (2020)