Cited By
View all- Ślusarz NKomendantskaya EDaggitt MStewart R(2022)Differentiable Logics for Neural Network Training and VerificationSoftware Verification and Formal Methods for ML-Enabled Autonomous Systems10.1007/978-3-031-21222-2_5(67-77)Online publication date: 16-Dec-2022
- Casadio MKomendantskaya EDaggitt MKokke WKatz GAmir GRefaeli I(2022)Neural Network Robustness as a Verification Property: A Principled Case StudyComputer Aided Verification10.1007/978-3-031-13185-1_11(219-231)Online publication date: 7-Aug-2022