TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. - Paul Kogel; Verena Klös; Sabine Glesner (ICFEM, 2022)

Learning Mealy Machines with Local Timers. - Paul Kogel; Verena Klös; Sabine Glesner (ICFEM, 2023)

Efficient State Estimation of Discrete-Timed Automata. - Julian Klein 001; Paul Kogel; Sabine Glesner (ICFEM, 2024)

Verifying Opacity of Discrete-Timed Automata. - Julian Klein 001; Paul Kogel; Sabine Glesner (FormaliSE@ICSE, 2024)

MMLT/ik: Efficiently Learning Mealy Machines with Local Timers by Using Imprecise Symbol Filters. - Paul Kogel; Wolffhardt Schwabe; Sabine Glesner (QEST+FORMATS, 2024)