Stochastic Decision Petri Nets. - Florian Wittbold; Rebecca Bernemann; Reiko Heckel; Tobias Heindel; Barbara König 001 (Petri Nets, 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)

Approximating Fixpoints of Approximated Functions. - Paolo Baldan; Sebastian Gurke; Barbara König 001; Tommaso Padoan; Florian Wittbold (CAV (2), 2025)

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)

Computing Approximated Fixpoints via Dampened Mann Iteration. - Paolo Baldan; Sebastian Gurke; Barbara König 001; Tommaso Padoan; Florian Wittbold (CoRR, 2025)