Simon Lutz

According to our database, Simon Lutz authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Unsupervised Automata Learning via Discrete Optimization.

Simon Lutz, Daniil Kaminskyi, Florian Wittbold, Simon Dierl, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

2024

A Benchmark Suite for Verifying Neural Anomaly Detectors in Distillation Processes.

Simon Lutz, Justus Arweiler, Aparna Muraleedharan, Niklas Kahlhoff, Fabian Hartung, Indra Jungjohann, Mayank Nagda, Daniel Reinhardt, Dennis Wagner, Jennifer Werner, Justus C. Will, Jakob Burger, Michael Bortz, Hans Hasse, Sophie Fellenz, Fabian Jirasek, Marius Kloft, Heike Leitte, Stephan Mandt, Steffen Reithermann, Jochen Schmid, Daniel Neider

Proceedings of the Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2024

2023

Interpretable Anomaly Detection via Discrete Optimization.

Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider

CoRR, 2023

Specification Sketching for Linear Temporal Logic.

Simon Lutz, Daniel Neider, Rajarshi Roy

Proceedings of the Automated Technology for Verification and Analysis, 2023