TY - RPRT TI - Automating Observable Closure Analysis for Graph Transformation Models with MolFoundry AU - Marcel Friedrichs AU - Addie Jordon AU - Juri Kolčák AU - Daniel Merkle PY - 2026 UR - https://arxiv.org/abs/2610.20821 ID - 2610.20821 ER -