D. Neider

Most-cited papers

Learning Linear Temporal Properties
D. Neider, I. Gavran
2018Formal Methods in Computer-Aided Design135 citations
Semantic Scholar
Joint Inference of Reward Machines and Policies for Reinforcement Learning
Zhe Xu, I. Gavran, Y. Ahmad, R. Majumdar +3 more
2019International Conference on Automated Planning and Scheduling114 citations Open access
Semantic Scholar
Horn-ICE learning for synthesizing invariants and contracts
P. Ezudheen, D. Neider, Deepak D'Souza, P. Garg +1 more
2017Proc. ACM Program. Lang.76 citations Open access
Semantic Scholar
Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash
Lukas Struppek, Dominik Hintersdorf, D. Neider, K. Kersting
2021Conference on Fairness, Accountability and Transparency75 citations Open access
Semantic Scholar
Benchmarks for Automata Learning and Conformance Testing
D. Neider, Rick Smetsers, F. Vaandrager, Harco Kuppens
2018Models, Mindsets, Meta54 citations
Semantic Scholar
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples
Zhe Xu, Bo Wu, Aditya Ojha, D. Neider +1 more
2020International Cross-Domain Conference on Machine Learning and Knowledge Extraction41 citations Open access
Semantic Scholar
Reinforcement Learning with Stochastic Reward Machines
Jan Corazza, I. Gavran, D. Neider
2022AAAI Conference on Artificial Intelligence40 citations Open access
Semantic Scholar
Advice-Guided Reinforcement Learning in a non-Markovian Environment
D. Neider, Jean-Raphaël Gaglione, I. Gavran, U. Topcu +2 more
2021AAAI Conference on Artificial Intelligence40 citations Open access
Semantic Scholar
Learning Interpretable Models in the Property Specification Language
Rajarshi Roy, D. Fisman, D. Neider
2020International Joint Conference on Artificial Intelligence35 citations Open access
Semantic Scholar
Neuro-Symbolic Verification of Deep Neural Networks
Xuan Xie, K. Kersting, D. Neider
2022International Joint Conference on Artificial Intelligence29 citations Open access
Semantic Scholar
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Jean-Raphael Gaglione, D. Neider, Rajarshi Roy, U. Topcu +1 more
2021Automated Technology for Verification and Analysis29 citations
Semantic Scholar
Deep Anomaly Detection on Tennessee Eastman Process Data
Fabian Hartung, B. J. Franks, Tobias Michels, Dennis Wagner +14 more
2023Chemie Ingenieur Technik28 citations Open access
Semantic Scholar
A scalable anytime algorithm for learning fragments of linear temporal logic
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, D. Neider
2021Formal methods in system design28 citations
Semantic Scholar
Learning Interpretable Temporal Properties from Positive Examples Only
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, D. Neider +2 more
2022AAAI Conference on Artificial Intelligence23 citations Open access
Semantic Scholar
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
Tzanis Anevlavis, Matthew Philippe, D. Neider, P. Tabuada
2021ACM Transactions on Computational Logic23 citations Open access
Semantic Scholar
Synthesizing optimally resilient controllers
D. Neider, Alexander Weinert, Martin Zimmermann
2017Acta Informatica18 citations Open access
Semantic Scholar
Learning-Based Synthesis of Safety Controllers
D. Neider, Oliver Markgraf
2019Formal Methods in Computer-Aided Design16 citations Open access
Semantic Scholar
From LTL to rLTL monitoring: improved monitorability through robust semantics
Corto Mascle, D. Neider, Maximilian Schwenger, P. Tabuada +2 more
2018Formal methods in system design16 citations Open access
Semantic Scholar
Invariant Synthesis for Incomplete Verification Engines
D. Neider, P. Garg, P. Madhusudan, Shambwaditya Saha +1 more
2017International Conference on Tools and Algorithms for Construction and Analysis of Systems14 citations Open access
Semantic Scholar
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine
Shayan Meshkat Alsadat, Jean-Raphael Gaglione, D. Neider, U. Topcu +1 more
2024American Control Conference13 citations Open access
Semantic Scholar
MaxSAT-based temporal logic inference from noisy data
Jean-Raphael Gaglione, D. Neider, Rajarshi Roy, U. Topcu +1 more
2022Innovations in Systems and Software Engineering13 citations
Semantic Scholar
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
I. Khmelnitsky, D. Neider, Rajarshi Roy, Xuan Xie +6 more
2021Automated Technology for Verification and Analysis13 citations
Semantic Scholar
What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications
D. Neider, Rajarshi Roy
2024Principles of Verification12 citations Open access
Semantic Scholar
A Cautionary Tale About "Neutrally" Informative AI Tools Ahead of the 2025 Federal Elections in Germany
Ina Dormuth, Sven Franke, Marlies Hafer, Tim Katzke +5 more
2025xAI11 citations Open access
Semantic Scholar
Parameterized Synthesis with Safety Properties
Oliver Markgraf, Chih-Duo Hong, A. Lin, Muhammad Najib +1 more
2020Asian Symposium on Programming Languages and Systems11 citations Open access
Semantic Scholar
Resilient Abstraction-Based Controller Design
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, D. Neider
2020IEEE Conference on Decision and Control11 citations Open access
Semantic Scholar
Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment
Jan Corazza, H. P. Aria, D. Neider, Zhe Xu
2025CLEaR10 citations
Semantic Scholar
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, D. Neider +1 more
2023International Conference on Verification, Model Checking and Abstract Interpretation10 citations
Semantic Scholar
Learning Properties in LTL ∩ ACTL from Positive Examples Only
R. Ehlers, I. Gavran, D. Neider
2020Formal Methods in Computer-Aided Design10 citations
Semantic Scholar
Logic and Learning (Dagstuhl Seminar 19361)
Michael Benedikt, K. Kersting, Phokion G. Kolaitis, D. Neider
2019Dagstuhl Reports10 citations
Semantic Scholar
A blinded validation of the Swedish version of the Clinical Assessment Interview for Negative Symptoms (CAINS)
J. Bengtsson, R. Bodén, D. Neider, Martin Cernvall
2021Nordic Journal of Psychiatry9 citations Open access
Semantic Scholar
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search
Benoît Barbot, Benedikt Bollig, A. Finkel, S. Haddad +5 more
2021International Conference on Graphics and Interaction8 citations
Semantic Scholar
Property-Directed Verification of Recurrent Neural Networks
I. Khmelnitsky, D. Neider, Rajarshi Roy, Benoît Barbot +5 more
2020arXiv.org8 citations
Semantic Scholar
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
D. Neider, Alexander Weinert, Martin Zimmermann
2018International Symposium on Games, Automata, Logics and Formal Verification8 citations Open access
Semantic Scholar
Robust Alternating-Time Temporal Logic
A. Murano, D. Neider, Martin Zimmermann
2023European Conference on Logics in Artificial Intelligence7 citations Open access
Semantic Scholar
Defending Our Privacy With Backdoors
Dominik Hintersdorf, Lukas Struppek, D. Neider, K. Kersting
2023European Conference on Artificial Intelligence7 citations Open access
Semantic Scholar
Robust computation tree logic
Satya Prakash Nayak, D. Neider, Rajarshi Roy, Martin Zimmermann
2022Innovations in Systems and Software Engineering7 citations Open access
Semantic Scholar
Evrostos: the rLTL verifier
Tzanis Anevlavis, D. Neider, Matthew Phillipe, P. Tabuada
2019International Conference on Hybrid Systems: Computation and Control7 citations Open access
Semantic Scholar
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants
D. Neider, Shambwaditya Saha, P. Garg, P. Madhusudan
2019Sensors Applications Symposium7 citations
Semantic Scholar
Learning Branching-Time Properties in CTL and ATL via Constraint Solving
Benjamin Bordais, D. Neider, Rajarshi Roy
2024World Congress on Formal Methods6 citations
Semantic Scholar
Specification sketching for Linear Temporal Logic
Simon Lutz, D. Neider, Rajarshi Roy
2022Automated Technology for Verification and Analysis6 citations Open access
Semantic Scholar
Analysis of recurrent neural networks via property-directed verification of surrogate models
I. Khmelnitsky, D. Neider, Rajarshi Roy, Xuan Xie +6 more
2022International Journal on Software Tools for Technology Transfer (STTT)6 citations Open access
Semantic Scholar
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines
D. Neider, P. Madhusudan, Shambwaditya Saha, P. Garg +1 more
2020Journal of automated reasoning6 citations Open access
Semantic Scholar
Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks
Benedikt Böing, Rajarshi Roy, Emmanuel Müller, D. Neider
2020ECML/PKDD6 citations
Semantic Scholar
Verifying rLTL formulas: now faster than ever before!
Tzanis Anevlavis, Matthew Philippe, D. Neider, P. Tabuada
2018IEEE Conference on Decision and Control6 citations
Semantic Scholar
The Complexity of Learning LTL, CTL and ATL Formulas
Benjamin Bordais, D. Neider, Rajarshi Roy
2025Symposium on Theoretical Aspects of Computer Science5 citations
Semantic Scholar
Inferring Properties in Computation Tree Logic
Rajarshi Roy, D. Neider
2023arXiv.org5 citations
Semantic Scholar
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
Yashi Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari +4 more
2023International Cross-Domain Conference on Machine Learning and Knowledge Extraction5 citations Open access
Semantic Scholar
Uncertainty-Aware Signal Temporal logic
Nasim Baharisangari, Jean-Raphaël Gaglione, D. Neider, U. Topcu +1 more
2021Verified Software: Theories, Tools, Experiments5 citations Open access
Semantic Scholar
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers
D. Neider, Shambwaditya Saha, P. Madhusudan
2018ACM Transactions on Computational Logic5 citations Open access
Semantic Scholar