Simon Lutz

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Transition Systems

Detecting Anomalies

Discrete Optimization

Linear Temporal Logic

Top Venues

Publications

Simon Lutz, Daniel Neider, Rajarshi Roy
Specification Sketching for Linear Temporal Logic. ATVA (2023)
Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
Interpretable Anomaly Detection via Discrete Optimization. CoRR (2023)
Simon Lutz, Daniel Neider, Rajarshi Roy
Specification sketching for Linear Temporal Logic. CoRR (2022)