Ernst Moritz Hahn
where else to find them
no profile links on file
what they talk about
where they keep going back
- VMCAI2 editions2022–2024
on a stage with
all 13 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| AGNES: Abstraction-guided Framework for Deep Neural Networks Security | VMCAI 2024 | 2024-01-15 |
AGNES is a tool that converts models to ONNX, clusters hidden neurons and stimulates cluster representatives with an artificial brain stimulation optimizer to… | ||
| Solving Queries for Boolean Fault Tree Logic via Quantified SAT | FTSCS 2023 | 2023-10-22 |
Provides a concrete BFL-to-QBF translation and a working implementation that uses Python + Z3 backend to check BFL properties, claiming it is the first tool… | ||
| EPMC Gets Knowledge in Multi-Agent Systems | VMCAI 2022 | 2022-01-16 |
EPMC is a small Java core plus plugins probabilistic model checker that the authors extend to EPMC-petl to handle probabilistic epistemic temporal logic on… | ||
| nothing matches | ||