Daniel Neider

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 99

Top Venues

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. VMCAI (2) (2024)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. J. Open Source Softw. 9 (93) (2024)
Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. CoRR (2024)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
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)
Rajarshi Roy, Daniel Neider
Inferring Properties in Computation Tree Logic. CoRR (2023)
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, Benjamin Klöpper, Stephan Mandt, Michael Bortz, Jakob Burger, Hans Hasse, Marius Kloft
Deep Anomaly Detection on Tennessee Eastman Process Data. CoRR (2023)
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CoRR (2023)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. CoRR (2023)
Daniel Neider, Taylor T. Johnson
Track C1: Safety Verification of Deep Neural Networks (DNNs). AISoLA (2023)
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CD-MAKE (2023)
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Algorithm in Presence of Noise. CoRR (2023)
Benjamin Bordais, Daniel Neider, Rajarshi Roy
Learning Temporal Properties is NP-hard. CoRR (2023)
Dominik Hintersdorf, Lukas Struppek, Daniel Neider, Kristian Kersting
Defending Our Privacy With Backdoors. CoRR (2023)
Aniello Murano, Daniel Neider, Martin Zimmermann
Robust Alternating-Time Temporal Logic. JELIA (2023)
Aniello Murano, Daniel Neider, Martin Zimmermann
Robust Alternating-Time Temporal Logic. CoRR (2023)
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Interpretable Temporal Properties from Positive Examples Only. AAAI (2023)
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Interpretable Temporal Properties from Positive Examples Only. CoRR (2022)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. TACAS (1) (2022)
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Trans. Comput. Log. 23 (2) (2022)
Daniel Neider, Rajarshi Roy
Expanding the Horizon of Linear Temporal Logic Inference for Explainability. RE Workshops (2022)
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
MaxSAT-based temporal logic inference from noisy data. Innov. Syst. Softw. Eng. 18 (3) (2022)
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
Robust Computation Tree Logic. NFM (2022)
Benedikt Bollig, Martin Leucker, Daniel Neider
A Survey of Model Learning Techniques for Recurrent Neural Networks. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Simon Lutz, Daniel Neider, Rajarshi Roy
Specification sketching for Linear Temporal Logic. CoRR (2022)
Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF (2022)
Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. ISoLA (1) (2022)
Xuan Xie, Kristian Kersting, Daniel Neider
Neuro-Symbolic Verification of Deep Neural Networks. IJCAI (2022)
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
Robust Computation Tree Logic. CoRR (2022)
Xuan Xie, Kristian Kersting, Daniel Neider
Neuro-Symbolic Verification of Deep Neural Networks. CoRR (2022)
Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. CoRR (2022)
Jan Corazza, Ivan Gavran, Daniel Neider
Reinforcement Learning with Stochastic Reward Machines. AAAI (2022)
Daniel Neider, Alexander Weinert, Martin Zimmermann
Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Inf. Comput. 285 (Part) (2022)
Lukas Struppek, Dominik Hintersdorf, Daniel Neider, Kristian Kersting
Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash. FAccT (2022)
Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Temporal Logic Properties: an Overview of Two Recent Methods. CoRR (2022)
Lukas Struppek, Dominik Hintersdorf, Daniel Neider, Kristian Kersting
Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash. CoRR (2021)
Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI (2021)
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. CoRR (2021)
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
Uncertainty-Aware Signal Temporal logic. CoRR (2021)
Zhe Xu, Bo Wu, Aditya Ojha, Daniel Neider, Ufuk Topcu
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CD-MAKE (2021)
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. ATVA (2021)
Benedikt Böing, Rajarshi Roy, Daniel Neider, Emmanuel Müller
QUGA - Quality Guarantees for Autoencoders. OVERLAY@GandALF (2021)
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
Uncertainty-Aware Signal Temporal Logic Inference. VSTTE (2021)
Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
Adaptive strategies for rLTL games. HSCC (2021)
Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu
Advice-Guided Reinforcement Learning in a non-Markovian Environment. AAAI (2021)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL monitoring: improved monitorability through robust semantics. Formal Methods Syst. Des. 59 (1) (2021)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA (2021)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic. CoRR (2021)
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Being correct is not enough: efficient verification using robust linear temporal logic. CoRR (2021)
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Parameterized Synthesis with Safety Properties. APLAS (2020)
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient Abstraction-Based Controller Design. CDC (2020)
Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. J. Autom. Reason. 64 (7) (2020)
Benedikt Böing, Rajarshi Roy, Emmanuel Müller, Daniel Neider
Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks. ECML/PKDD (2) (2020)
Rajarshi Roy, Dana Fisman, Daniel Neider
Learning Interpretable Models in the Property Specification Language. IJCAI (2020)
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Parameterized Synthesis with Safety Properties. CoRR (2020)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Property-Directed Verification of Recurrent Neural Networks. CoRR (2020)
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient Abstraction-Based Controller Design. CoRR (2020)
Daniel Neider, Alexander Weinert, Martin Zimmermann
Synthesizing optimally resilient controllers. Acta Informatica 57 (1-2) (2020)
Daniel Neider, Patrick Totzke, Martin Zimmermann
Optimally Resilient Strategies in Pushdown Safety Games. MFCS (2020)
Rüdiger Ehlers, Ivan Gavran, Daniel Neider
Learning Properties in LTL ∩ ACTL from Positive Examples Only. FMCAD (2020)
Zhe Xu, Bo Wu, Daniel Neider, Ufuk Topcu
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CoRR (2020)
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient abstraction-based controller design. HSCC (2020)
Daniel Neider, Bishwamittra Ghosh
Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis. CoRR (2020)
Bishwamittra Ghosh, Daniel Neider
A Formal Language Approach to Explaining RNNs. CoRR (2020)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL monitoring: improved monitorability through robust semantics. HSCC (2020)
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
Joint Inference of Reward Machines and Policies for Reinforcement Learning. ICAPS (2020)
Rajarshi Roy, Dana Fisman, Daniel Neider
Learning Interpretable Models in the Property Specification Language. CoRR (2020)
Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. SAS (2019)
Daniel Neider, Oliver Markgraf
Learning-Based Synthesis of Safety Controllers. CoRR (2019)
Daniel Neider, Alexander Weinert, Martin Zimmermann
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. GandALF (2019)
Daniel Neider, Patrick Totzke, Martin Zimmermann
Optimally Resilient Strategies in Pushdown Safety Games. CoRR (2019)
Tzanis Anevlavis, Daniel Neider, Matthew Phillipe, Paulo Tabuada
Evrostos: the rLTL verifier. HSCC (2019)
Daniel Neider, Oliver Markgraf
Learning-Based Synthesis of Safety Controllers. FMCAD (2019)
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
Joint Inference of Reward Machines and Policies for Reinforcement Learning. CoRR (2019)
Michael Benedikt, Kristian Kersting, Phokion G. Kolaitis, Daniel Neider
Logic and Learning (Dagstuhl Seminar 19361). Dagstuhl Reports 9 (9) (2019)
P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, P. Madhusudan
Horn-ICE learning for synthesizing invariants and contracts. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Daniel Neider, Ivan Gavran
Learning Linear Temporal Properties. CoRR (2018)
Daniel Neider, Alexander Weinert, Martin Zimmermann
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. CoRR (2018)
Daniel Neider, Shambwaditya Saha, P. Madhusudan
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. ACM Trans. Comput. Log. 19 (2) (2018)
Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens
Benchmarks for Automata Learning and Conformance Testing. Models, Mindsets, Meta (2018)
Daniel Neider, Ivan Gavran
Learning Linear Temporal Properties. FMCAD (2018)
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Verifying rLTL formulas: now faster than ever before! CDC (2018)
Daniel Neider, Alexander Weinert, Martin Zimmermann
Synthesizing Optimally Resilient Controllers. CSL (2018)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. CoRR (2018)
Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
Invariant Synthesis for Incomplete Verification Engines. TACAS (1) (2018)
Deepak D'Souza, P. Ezudheen, Pranav Garg, P. Madhusudan, Daniel Neider
Horn-ICE Learning for Synthesizing Invariants and Contracts. CoRR (2017)
Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
Invariant Synthesis for Incomplete Verification Engines. CoRR (2017)
Daniel Neider, Alexander Weinert, Martin Zimmermann
Synthesizing Optimally Resilient Controllers. CoRR (2017)
Daniel Neider, Ufuk Topcu
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. CoRR (2016)
Eric Dallal, Daniel Neider, Paulo Tabuada
Synthesis of safety controllers robust to unmodeled intermittent disturbances. CDC (2016)
Pranav Garg, Daniel Neider, P. Madhusudan, Dan Roth
Learning invariants using decision trees and implication counterexamples. POPL (2016)
Paulo Tabuada, Daniel Neider
Robust Linear Temporal Logic. CSL (2016)
Daniel Neider, Ufuk Topcu
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. TACAS (2016)
Christof Löding, P. Madhusudan, Daniel Neider
Abstract Learning Frameworks for Synthesis. TACAS (2016)
Daniel Neider, Shambwaditya Saha, P. Madhusudan
Synthesizing Piece-Wise Functions by Learning Classifiers. TACAS (2016)
Paulo Tabuada, Daniel Neider
Robust Linear Temporal Logic. CoRR (2015)
Christof Löding, P. Madhusudan, Daniel Neider
Abstract Learning Frameworks for Synthesis. CoRR (2015)
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists. Formal Methods Syst. Des. 47 (1) (2015)
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
ICE: A Robust Framework for Learning Invariants. CAV (2014)

Daniel Neider.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Neider