TY - RPRT TI - Unsupervised Automata Learning via Discrete Optimization AU - Simon Lutz AU - Daniil Kaminskyi AU - Florian Wittbold AU - Simon Dierl AU - Falk Howar AU - Barbara König AU - Emmanuel Müller AU - Daniel Neider PY - 2025 UR - https://arxiv.org/abs/2303.14111 ID - 2303.14111 ER -