Verifying and Improving Neural Networks Using Testing-Based Formal Verification

von Liu, Haiyi
Veröffentlicht in International Workshop on SOFL+MSVL (11. : 2022 : Madrid) Structured object-oriented formal language and method (2023)