Simon Lutz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2026
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KI | Comparison of the Runtime of Two Algorithms for the Linear Decomposition of ReLU Networks. | Arn Dietz, Simon Lutz, Martin Brenzke, Thea Radntz, Emmanuel Mller |
| 2025 | JELIA | Unsupervised Automata Learning via Discrete Optimization. | Simon Lutz, Daniil Kaminskyi, Florian Wittbold, Simon Dierl, Falk Howar, Barbara Knig, Emmanuel Mller, Daniel Neider |
| 2023 | ATVA | Specification Sketching for Linear Temporal Logic. | Simon Lutz, Daniel Neider, Rajarshi Roy |