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
FM 2026-profile
View general profile
View general profile