Ernst Moritz Hahn -

Registered user since Wed 22 Aug 2018

Name:Ernst Moritz Hahn

Country:Netherlands

Affiliation:University of Twente

Personal website: https://people.utwente.nl/e.m.hahn

Contributions

2025

FSEN

Committee Member in Program Committee

VMCAI

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

2022

VMCAI

Author of EPMC Gets Knowledge in Multi-Agent Systems within the VMCAI 2022-track

2019

TACAS

2018

ICSE

Committee Member in Program Committee within the SRC - ACM Student Research Competition -track

2017

VMCAI

Author of Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games within the VMCAI-track