Registered user since Tue 13 Aug 2024

Name:Philipp Kern
Country:Germany
Affiliation:Karlsruhe Institute of Technology (KIT)
Research interests:Verification of Neural Networks

Contributions