TY - RPRT TI - Run supports and initial algebra supports of weighted automata AU - Manfred Droste AU - Heiko Vogler PY - 2026 UR - https://arxiv.org/abs/2409.08727 ID - 2409.08727 ER -