Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ernst Moritz Hahn
conf.researchr.org general profile
POPL 2024 profile
SPLASH 2023 profile
Not registered as user yet
Name:
Ernst Moritz Hahn
Country:
Netherlands
Contributions
2024
VMCAI
Author of AGNES: Abstraction-guided Framework for Deep Neural Networks Security within the VMCAI 2024-track
2023
FTSCS
Author of Solving Queries for Boolean Fault Tree Logic via Quantified SAT within the FTSCS 2023-track
Share
x
Wed 15 May 16:26