SPLASH 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
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

Show activities from other conferences

SPLASH 2024-profile
View general profile