Personensuche
X
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
1
Towards a Certified Proof Checker for Deep Neural Network V..:
, In:
?
2
Software Verification and Formal Methods for ML-Enabled Aut..
Lecture Notes in Computer Science, 13466
?
2022 Formal Methods in Computer-Aided Design (FMCAD) ,
3