arrow
Back
D

Daniel Neider

dortmund university of technology

19H-index
154Paper Count
1.5KCitation Count
Published Papers 5
Publication Date
A scalable anytime algorithm for learning fragments of linear temporal logic
err2026-01-08
err0
PREAI
errRaha, Ritam; Roy, Rajarshi; Fijalkow, Nathanael; Neider, Daniel
errShare
errSave
Unsupervised Automata Learning via Discrete Optimization
err2026-01-01
err0
PREAI
errLutz, Simon; Kaminskyi, Daniil; Wittbold, Florian; Dierl, Simon; Howar, Falk; Koenig, Barbara; Mueller, Emmanuel; Neider, Daniel
errShare
errSave
A Cautionary Tale About Neutrally Informative AI Tools Ahead of the 2025 Federal Elections in Germany
err2026-01-01
err0
errOAAI
errDormuth, Ina; Franke, Sven; Hafer, Marlies; Katzke, Tim; Marx, Alexander; Mueller, Emmanuel; Neider, Daniel; Pauly, Markus; Rutinowski, Jerome
errShare
errSave