TY - RPRT TI - FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata AU - Sicco Verwer AU - Christian Hammerschmidt PY - 2025 DO - 10.46298/lmcs-21(3:31)2025 UR - https://arxiv.org/abs/2203.16331 ID - 2203.16331 ER -