KIT - Anwendungsorientierte Formale Verifikation - Mitarbeiter

Philipp Kern, M.Sc. Wissenschaftlicher Mitarbeiter / Doktorand
Raum 203, Gebäude 50.34 Tel.: +49 721 608-45252 Fax: +49 721 608-44021 philipp kernXwx3∂kit edu https://verialg.iti.kit.edu/829.php	KIT / Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Am Fasanengarten 5 Gebäude 50.34 76131 Karlsruhe Deutschland

Philipp Kern, M.Sc.

Wissenschaftlicher Mitarbeiter / Doktorand

Raum 203, Gebäude 50.34
Tel.: +49 721 608-45252
Fax: +49 721 608-44021
philipp kernXwx3∂kit edu

https://verialg.iti.kit.edu/829.php

KIT / Institut für Informationssicherheit und Verlässlichkeit (KASTEL)

Am Fasanengarten 5
Gebäude 50.34
76131 Karlsruhe
Deutschland

2022
Titel	Autor(en)	Quelle
Optimized Symbolic Interval Propagation for Neural Network Verification	Philipp Kern, Marko Kleine Büning und Carsten Sinz	1st Workshop on Formal Verification of Machine Learning (WFVML 2022) colocated with ICML 2022: International Conference on Machine Learning

2021
Titel	Autor(en)	Quelle
Geometric Path Enumeration for Equivalence Verification of Neural Networks	Samuel Teuber, Marko Kleine Büning, Philipp Kern und Carsten Sinz	33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021)

2020
Titel	Autor(en)	Quelle
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions	Marko Kleine Büning, Philipp Kern und Carsten Sinz	26th International Conference on Principles and Practice of Constraint Programming (CP 2020)