Simon Lutz | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Daniel Neider
31 publications
Barbara König
21 publications
Rajarshi Roy
17 publications
Emmanuel Müller
16 publications
Falk Howar
3 publications
Florian Wittbold
2 publications
Simon Dierl
1 publication
Benedikt Böing
1 publication

research

∙ 03/24/2023

Interpretable Anomaly Detection via Discrete Optimization

Anomaly detection is essential in many application domains, such as cybe...

0 Simon Lutz, et al. ∙

research

∙ 06/14/2022

Specification sketching for Linear Temporal Logic

Virtually all verification and synthesis techniques assume that the form...

0 Simon Lutz, et al. ∙

Success!

An error occurred