SPLASH 2024 (series) / Philipp Kern
Registered user since Tue 13 Aug 2024
Name:Philipp Kern
Country:Germany
Affiliation:Karlsruhe Institute of Technology (KIT)
Personal website: https://formal.kastel.kit.edu/~kern/?lang=en
Research interests:Verification of Neural Networks
Contributions
2024
Static Analysis Symposium
Using general profile