Differentiable Logics for Neural Network Training and Verification
Author:
Natalia Ĺšlusarz, Ekaterina Komendantskaya, Matthew L. Daggitt et al
Publication:
Springer eBook
Publisher:
Springer Nature
Copyright © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG