Automated Safety Verification of Programs Invoking Neural Networks

von Christakis, Maria
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)