MediSign - Secure Pharmaceutic Distribution. - Maximilian Möllers; Emmanuel Müller; Daniel Neider; Leszek Seweryn (Informatiktage, 2006)

Learning Automata for Streaming XML Documents. - Daniel Neider (Informatiktage, 2008)

Lernverfahren für Automaten über linearisierten XML-Dokumenten. - Daniel Neider (Inform. Spektrum, 2009)

libalf: The Automata Learning Framework. - Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker; Daniel Neider; David R. Piegdon (CAV, 2010)

Reachability Games on Automatic Graphs. - Daniel Neider (CIAA, 2010)

Small Strategies for Safety Games. - Daniel Neider (ATVA, 2011)

Development of libALF. - Daniel Neider (EEFSW, 2011)

Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers. - Daniel Neider (ATVA, 2012)

Learning Minimal Deterministic Automata from Inexperienced Teachers. - Martin Leucker; Daniel Neider (ISoLA (1), 2012)

Learning Universally Quantified Invariants of Linear Data Structures. - Pranav Garg 001; Christof Löding; P. Madhusudan; Daniel Neider (CAV, 2013)

Regular Model Checking Using Solver Technologies and Automata Learning. - Daniel Neider; Nils Jansen 001 (NASA Formal Methods, 2013)

ICE: A Robust Framework for Learning Invariants. - Pranav Garg 001; Christof Löding; P. Madhusudan; Daniel Neider (CAV, 2014)

Down the Borel hierarchy: Solving Muller games via safety games. - Daniel Neider; Roman Rabinovich 001; Martin Zimmermann 002 (Theor. Comput. Sci., 2014)

Applications of automata learning in verification and synthesis. - Daniel Neider (2014)

Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists. - Pranav Garg 001; Christof Löding; P. Madhusudan; Daniel Neider (Formal Methods Syst. Des., 2015)

Synthesis of safety controllers robust to unmodeled intermittent disturbances. - Eric Dallal; Daniel Neider; Paulo Tabuada (CDC, 2016)

Robust Linear Temporal Logic. - Paulo Tabuada; Daniel Neider (CSL, 2016)

Learning invariants using decision trees and implication counterexamples. - Pranav Garg 001; Daniel Neider; P. Madhusudan; Dan Roth 001 (POPL, 2016)

Abstract Learning Frameworks for Synthesis. - Christof Löding; P. Madhusudan; Daniel Neider (TACAS, 2016)

Synthesizing Piece-Wise Functions by Learning Classifiers. - Daniel Neider; Shambwaditya Saha; P. Madhusudan (TACAS, 2016)

An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. - Daniel Neider; Ufuk Topcu (TACAS, 2016)

Benchmarks for Automata Learning and Conformance Testing. - Daniel Neider; Rick Smetsers; Frits W. Vaandrager; Harco Kuppens (Models, Mindsets, Meta, 2018)

Verifying rLTL formulas: now faster than ever before! - Tzanis Anevlavis; Matthew Philippe; Daniel Neider; Paulo Tabuada (CDC, 2018)

Learning Linear Temporal Properties. - Daniel Neider; Ivan Gavran (FMCAD, 2018)

Invariant Synthesis for Incomplete Verification Engines. - Daniel Neider; Pranav Garg 001; P. Madhusudan; Shambwaditya Saha; Daejun Park 001 (TACAS (1), 2018)

Horn-ICE learning for synthesizing invariants and contracts. - P. Ezudheen; Daniel Neider; Deepak D'Souza; Pranav Garg 001; P. Madhusudan (Proc. ACM Program. Lang., 2018)

Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. - Daniel Neider; Shambwaditya Saha; P. Madhusudan (ACM Trans. Comput. Log., 2018)

Learning-Based Synthesis of Safety Controllers. - Daniel Neider; Oliver Markgraf (FMCAD, 2019)

Evrostos: the rLTL verifier. - Tzanis Anevlavis; Daniel Neider; Matthew Philippe; Paulo Tabuada (HSCC, 2019)

Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. - Daniel Neider; Shambwaditya Saha; Pranav Garg 001; P. Madhusudan (SAS, 2019)

Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. - Daniel Neider; Alexander Weinert; Martin Zimmermann 002 (GandALF, 2019)

Logic and Learning (Dagstuhl Seminar 19361). - Michael Benedikt; Kristian Kersting; Phokion G. Kolaitis; Daniel Neider (Dagstuhl Reports, 2019)

Joint Inference of Reward Machines and Policies for Reinforcement Learning. - Zhe Xu 005; Ivan Gavran; Yousef Ahmad; Rupak Majumdar; Daniel Neider; Ufuk Topcu; Bo Wu 005 (ICAPS, 2020)

Parameterized Synthesis with Safety Properties. - Oliver Markgraf; Chih-Duo Hong; Anthony W. Lin; Muhammad Najib; Daniel Neider (APLAS, 2020)

Resilient Abstraction-Based Controller Design. - Stanly Samuel; Kaushik Mallik; Anne-Kathrin Schmuck; Daniel Neider (CDC, 2020)

Learning Properties in LTL ∩ ACTL from Positive Examples Only. - Rüdiger Ehlers; Ivan Gavran; Daniel Neider (FMCAD, 2020)

Learning Interpretable Models in the Property Specification Language. - Rajarshi Roy 002; Dana Fisman; Daniel Neider (IJCAI, 2020)

Optimally Resilient Strategies in Pushdown Safety Games. - Daniel Neider; Patrick Totzke; Martin Zimmermann 002 (MFCS, 2020)

Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks. - Benedikt Böing; Rajarshi Roy 002; Emmanuel Müller; Daniel Neider (ECML/PKDD (2), 2020)

Synthesizing optimally resilient controllers. - Daniel Neider; Alexander Weinert; Martin Zimmermann 002 (Acta Informatica, 2020)

A Formal Language Approach to Explaining RNNs. - Bishwamittra Ghosh; Daniel Neider (CoRR, 2020)

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. - Zhe Xu 005; Bo Wu 005; Daniel Neider; Ufuk Topcu (CoRR, 2020)

Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis. - Daniel Neider; Bishwamittra Ghosh (CoRR, 2020)

Property-Directed Verification of Recurrent Neural Networks. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (CoRR, 2020)

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. - Daniel Neider; P. Madhusudan; Shambwaditya Saha; Pranav Garg 001; Daejun Park 001 (J. Autom. Reason., 2020)

Advice-Guided Reinforcement Learning in a non-Markovian Environment. - Daniel Neider; Jean-Raphaël Gaglione; Ivan Gavran; Ufuk Topcu; Bo Wu 005; Zhe Xu 005 (AAAI, 2021)

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. - Jean-Raphaël Gaglione; Daniel Neider; Rajarshi Roy 002; Ufuk Topcu; Zhe Xu 005 (ATVA, 2021)

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Xuan Xie; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (ATVA, 2021)

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. - Zhe Xu 005; Bo Wu 005; Aditya Ojha; Daniel Neider; Ufuk Topcu (CD-MAKE, 2021)

QUGA - Quality Guarantees for Autoencoders. - Benedikt Böing; Rajarshi Roy 002; Daniel Neider; Emmanuel Müller (OVERLAY@GandALF, 2021)

Adaptive strategies for rLTL games. - Satya Prakash Nayak; Daniel Neider; Martin Zimmermann 002 (HSCC, 2021)

Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. - Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Igor Khmelnitsky; Martin Leucker; Daniel Neider; Rajarshi Roy 002; Lina Ye (ICGI, 2021)

Uncertainty-Aware Signal Temporal Logic Inference. - Nasim Baharisangari; Jean-Raphaël Gaglione; Daniel Neider; Ufuk Topcu; Zhe Xu 005 (VSTTE, 2021)

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. - Jean-Raphaël Gaglione; Daniel Neider; Rajarshi Roy 002; Ufuk Topcu; Zhe Xu 005 (CoRR, 2021)

Uncertainty-Aware Signal Temporal logic. - Nasim Baharisangari; Jean-Raphaël Gaglione; Daniel Neider; Ufuk Topcu; Zhe Xu 005 (CoRR, 2021)

Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic. - Ritam Raha; Rajarshi Roy 002; Nathanaël Fijalkow; Daniel Neider (CoRR, 2021)

From LTL to rLTL monitoring: improved monitorability through robust semantics. - Corto Mascle; Daniel Neider; Maximilian Schwenger; Paulo Tabuada; Alexander Weinert; Martin Zimmermann 002 (Formal Methods Syst. Des., 2021)

Reinforcement Learning with Stochastic Reward Machines. - Jan Corazza; Ivan Gavran; Daniel Neider (AAAI, 2022)

A Survey of Model Learning Techniques for Recurrent Neural Networks. - Benedikt Bollig; Martin Leucker; Daniel Neider (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash. - Lukas Struppek; Dominik Hintersdorf; Daniel Neider; Kristian Kersting (FAccT, 2022)

Neuro-Symbolic Verification of Deep Neural Networks. - Xuan Xie; Kristian Kersting; Daniel Neider (IJCAI, 2022)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. - Satya Prakash Nayak; Daniel Neider; Martin Zimmermann 002 (ISoLA (1), 2022)

Expanding the Horizon of Linear Temporal Logic Inference for Explainability. - Daniel Neider; Rajarshi Roy 002 (RE Workshops, 2022)

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. - Ritam Raha; Rajarshi Roy 002; Nathanaël Fijalkow; Daniel Neider (TACAS (1), 2022)

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. - Igor Khmelnitsky; Serge Haddad; Lina Ye; Benoît Barbot; Benedikt Bollig; Martin Leucker; Daniel Neider; Rajarshi Roy 002 (GandALF, 2022)

Learning Temporal Logic Properties: an Overview of Two Recent Methods. - Jean-Raphaël Gaglione; Rajarshi Roy 002; Nasim Baharisangari; Daniel Neider; Zhe Xu 005; Ufuk Topcu (CoRR, 2022)

MaxSAT-based temporal logic inference from noisy data. - Jean-Raphaël Gaglione; Daniel Neider; Rajarshi Roy 002; Ufuk Topcu; Zhe Xu 005 (Innov. Syst. Softw. Eng., 2022)

Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. - Tzanis Anevlavis; Matthew Philippe; Daniel Neider; Paulo Tabuada (ACM Trans. Comput. Log., 2022)

Intelligent formal methods - Daniel Neider (2022)

Learning Interpretable Temporal Properties from Positive Examples Only. - Rajarshi Roy 002; Jean-Raphaël Gaglione; Nasim Baharisangari; Daniel Neider; Zhe Xu 005; Ufuk Topcu (AAAI, 2023)

Specification Sketching for Linear Temporal Logic. - Simon Lutz; Daniel Neider; Rajarshi Roy 002 (ATVA, 2023)

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. - Yash Paliwal; Rajarshi Roy 002; Jean-Raphaël Gaglione; Nasim Baharisangari; Daniel Neider; Xiaoming Duan; Ufuk Topcu; Zhe Xu 005 (CD-MAKE, 2023)

Robust Alternating-Time Temporal Logic. - Aniello Murano; Daniel Neider; Martin Zimmermann 002 (JELIA, 2023)

Track C1: Safety Verification of Deep Neural Networks (DNNs). - Daniel Neider; Taylor T. Johnson (AISoLA, 2023)

Deep Anomaly Detection on Tennessee Eastman Process Data. - Fabian Hartung; Billy Joe Franks; Tobias Michels; Dennis Wagner; Philipp Liznerski; Steffen Reithermann; Sophie Fellenz; Fabian Jirasek; Maja Rudolph; Daniel Neider; Heike Leitte; Chen Song; et al. (CoRR, 2023)

Interpretable Anomaly Detection via Discrete Optimization. - Simon Lutz; Florian Wittbold; Simon Dierl; Benedikt Böing; Falk Howar; Barbara König 001; Emmanuel Müller; Daniel Neider (CoRR, 2023)

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. - Lina Ye; Igor Khmelnitsky; Serge Haddad; Benoît Barbot; Benedikt Bollig; Martin Leucker; Daniel Neider; Rajarshi Roy 002 (CoRR, 2023)

Inferring Properties in Computation Tree Logic. - Rajarshi Roy 002; Daniel Neider (CoRR, 2023)

Learning Temporal Properties is NP-hard. - Benjamin Bordais; Daniel Neider; Rajarshi Roy 002 (CoRR, 2023)

Analysis of recurrent neural networks via property-directed verification of surrogate models. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Xuan Xie; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (Int. J. Softw. Tools Technol. Transf., 2023)

What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications. - Daniel Neider; Rajarshi Roy 002 (Principles of Verification (3), 2024)

Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment. - Jan Corazza; Hadi Partovi Aria; Daniel Neider; Zhe Xu 005 (CLeaR, 2024)

Defending Our Privacy with Backdoors. - Dominik Hintersdorf; Lukas Struppek; Daniel Neider; Kristian Kersting (ECAI, 2024)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving. - Benjamin Bordais; Daniel Neider; Rajarshi Roy 002 (FM (1), 2024)

Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries. - Lukas Westhofen 001; Christian Neurohr; Jean Christoph Jung; Daniel Neider (NFM, 2024)

Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. - Lukas Westhofen 001; Christian Neurohr; Jean Christoph Jung; Daniel Neider (TACAS (1), 2024)

Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. - Ritam Raha; Rajarshi Roy 002; Nathanaël Fijalkow; Daniel Neider; Guillermo A. Pérez 001 (VMCAI (2), 2024)

VeriFlow: Modeling Distributions for Neural Network Verification. - Faried Abu Zaid; Daniel Neider; Mustafa Yalçiner (CoRR, 2024)

The Complexity of Learning Temporal Properties. - Benjamin Bordais; Daniel Neider; Rajarshi Roy 002 (CoRR, 2024)

Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. - Ritam Raha; Rajarshi Roy 002; Nathanaël Fijalkow; Daniel Neider (J. Open Source Softw., 2024)

Temporal Conjunctive Query Answering via Rewriting. - Lukas Westhofen 001; Jean Christoph Jung; Daniel Neider (AAAI, 2025)

Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. - Shayan Meshkat Alsadat; Jean-Raphaël Gaglione; Daniel Neider; Ufuk Topcu; Zhe Xu 005 (ACC, 2025)

Learning Tree Pattern Transformations. - Daniel Neider; Leif Sabellek; Johannes Schmidt 001; Fabian Vehlken; Thomas Zeume (ICDT, 2025)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs. - Jan Corazza; Ivan Gavran; Gabriela Moreira; Daniel Neider (ICST, 2025)

A Framework for Computing Upper Bounds in Passive Learning Settings. - Benjamin Bordais; Daniel Neider (JELIA (2), 2025)

Unsupervised Automata Learning via Discrete Optimization. - Simon Lutz; Daniil Kaminskyi; Florian Wittbold; Simon Dierl; Falk Howar; Barbara König 001; Emmanuel Müller; Daniel Neider (JELIA (1), 2025)

The Complexity of Learning LTL, CTL and ATL Formulas. - Benjamin Bordais; Daniel Neider; Rajarshi Roy 002 (STACS, 2025)

A Cautionary Tale About "Neutrally" Informative AI Tools Ahead of the 2025 Federal Elections in Germany. - Ina Dormuth; Sven Franke; Marlies Hafer; Tim Katzke; Alexander Marx 001; Emmanuel Müller; Daniel Neider; Markus Pauly; Jérôme Rutinowski (CoRR, 2025)

Decentralizing Multi-Agent Reinforcement Learning with Temporal Causal Information. - Jan Corazza; Hadi Partovi Aria; Hyohun Kim; Daniel Neider; Zhe Xu 005 (CoRR, 2025)

Robust computation tree logic. - Satya Prakash Nayak; Daniel Neider; Rajarshi Roy 002; Martin Zimmermann 002 (Innov. Syst. Softw. Eng., 2025)

Fine-Tuning Multilingual Language Models for Code Review: An Empirical Study on Industrial C# Projects. - Igli Begolli; Meltem Aksoy; Daniel Neider (CoRR, 2025)