Specification Sketching for Linear Temporal Logic. - Simon Lutz; Daniel Neider; Rajarshi Roy 002 (ATVA, 2023)

Interpretable Anomaly Detection via Discrete Optimization. - Simon Lutz; Florian Wittbold; Simon Dierl; Benedikt Böing; Falk Howar; Barbara König 001; Emmanuel Müller; Daniel Neider (CoRR, 2023)

Unsupervised Automata Learning via Discrete Optimization. - Simon Lutz; Daniil Kaminskyi; Florian Wittbold; Simon Dierl; Falk Howar; Barbara König 001; Emmanuel Müller; Daniel Neider (JELIA (1), 2025)