Daniel Neider - RankMe

156 papers A* 13A 7B 14C 4Journal 77Unranked 38

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A scalable anytime algorithm for learning fragments of linear temporal logic. Formal Methods Syst. Des. Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2026	A*	`conf`	Learning DFAs from Positive Examples Only via Word Counting. AAAI Benjamin Bordais, Daniel Neider
2026	—	`ch.`	Let's Talk AI with Computer Science Expert Daniel Neider. Let's Talk AI Daniel Neider, Barbara Steffen
2026	J	`jnl`	Reinforcement Learning with Symbolic Reward Machines. CoRR Thomas Krug, Daniel Neider
2026	A*	`conf`	VeriFlow: Modeling Distributions for Neural Network Verification. AAAI Faried Abu Zaid, Daniel Neider, Mustafa Yalçiner
2025	—	`conf`	A Cautionary Tale About "Neutrally" Informative AI Tools Ahead of the 2025 Federal Elections in Germany. xAI (5) Ina Dormuth, Sven Franke, Marlies Hafer, Tim Katzke, Alexander Marx, Emmanuel Müller, Daniel Neider, Markus Pauly, Jérôme Rutinowski
2025	J	`jnl`	A Cautionary Tale About "Neutrally" Informative AI Tools Ahead of the 2025 Federal Elections in Germany. CoRR Ina Dormuth, Sven Franke, Marlies Hafer, Tim Katzke, Alexander Marx, Emmanuel Müller, Daniel Neider, Markus Pauly, Jérôme Rutinowski
2025	—	`conf`	A Framework for Computing Upper Bounds in Passive Learning Settings. JELIA (2) Benjamin Bordais, Daniel Neider
2025	J	`jnl`	A framework for computing upper bounds in passive learning settings. CoRR Benjamin Bordais, Daniel Neider
2025	A	`conf`	Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs. ICST Jan Corazza, Ivan Gavran, Gabriela Moreira, Daniel Neider
2025	J	`jnl`	Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs. CoRR Jan Corazza, Ivan Gavran, Gabriela Moreira, Daniel Neider
2025	J	`jnl`	Decentralizing Multi-Agent Reinforcement Learning with Temporal Causal Information. CoRR Jan Corazza, Hadi Partovi Aria, Hyohun Kim, Daniel Neider, Zhe Xu
2025	—	`conf`	Decentralizing Multi-agent Reinforcement Learning with Temporal Causal Information. ECML/PKDD (6) Jan Corazza, Hadi Partovi Aria, Hyohun Kim, Daniel Neider, Zhe Xu
2025	J	`jnl`	Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment. CoRR Jan Corazza, Hadi Partovi Aria, Daniel Neider, Zhe Xu
2025	J	`jnl`	Fine-Tuning Multilingual Language Models for Code Review: An Empirical Study on Industrial C# Projects. CoRR Igli Begolli, Meltem Aksoy, Daniel Neider
2025	J	`jnl`	Focused Chain-of-Thought: Efficient LLM Reasoning via Structured Input Information. CoRR Lukas Struppek, Dominik Hintersdorf, Hannah Struppek, Daniel Neider, Kristian Kersting
2025	J	`jnl`	Formal verification for robo-advisors: Irrelevant for subjective end-user trust, yet decisive for investment behavior? CoRR Alina Tausch, Magdalena Wischnewski, Mustafa Yalçiner, Daniel Neider
2025	J	`jnl`	Formally Exploring Time-Series Anomaly Detection Evaluation Metrics. CoRR Dennis Wagner, Arjun Nair, Billy Joe Franks, Justus Arweiler, Aparna Muraleedharan, Indra Jungjohann, Fabian Hartung, Mayank C. Ahuja, Andriy Balinskyy, Saurabh Varshneya, Nabeel Hussain Syed, Mayank Nagda, Philipp Liznerski, Steffen Reithermann, Maja Rudolph, Sebastian J. Vollmer, Ralf Schulz, Torsten Katz, Stephan Mandt, Michael Bortz, Heike Leitte, Daniel Neider, Jakob Burger, Fabian Jirasek, Hans Hasse, Sophie Fellenz, Marius Kloft
2025	J	`jnl`	Learning DFAs from Positive Examples Only via Word Counting. CoRR Benjamin Bordais, Daniel Neider
2025	A	`conf`	Learning Tree Pattern Transformations. ICDT Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume
2025	J	`jnl`	Logic and Neural Networks (Dagstuhl Seminar 25061). Dagstuhl Reports Vaishak Belle, Michael Benedikt, Dana Drachsler-Cohen, Daniel Neider, Tom Yuviler
2025	J	`jnl`	On Uniformly Scaling Flows: A Density-Aligned Approach to Deep One-Class Classification. CoRR Faried Abu Zaid, Tim Katzke, Emmanuel Müller, Daniel Neider
2025	J	`jnl`	Reinforcement Learning with Stochastic Reward Machines. CoRR Jan Corazza, Ivan Gavran, Daniel Neider
2025	J	`jnl`	Robust computation tree logic. Innov. Syst. Softw. Eng. Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2025	A*	`conf`	Temporal Conjunctive Query Answering via Rewriting. AAAI Lukas Westhofen, Jean Christoph Jung, Daniel Neider
2025	A	`conf`	The Complexity of Learning LTL, CTL and ATL Formulas. STACS Benjamin Bordais, Daniel Neider, Rajarshi Roy
2025	—	`conf`	Unsupervised Automata Learning via Discrete Optimization. JELIA (1) Simon Lutz, Daniil Kaminskyi, Florian Wittbold, Simon Dierl, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
2025	C	`conf`	Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. ACC Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2025	J	`jnl`	What is Formal Verification without Specifications? A Survey on mining LTL Specifications. CoRR Daniel Neider, Rajarshi Roy
2024	J	`jnl`	Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2024	—	`conf`	Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. TACAS (1) Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider
2024	A	`conf`	Defending Our Privacy with Backdoors. ECAI Dominik Hintersdorf, Lukas Struppek, Daniel Neider, Kristian Kersting
2024	—	`conf`	Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment. CLeaR Jan Corazza, Hadi Partovi Aria, Daniel Neider, Zhe Xu
2024	—	`conf`	Learning Branching-Time Properties in CTL and ATL via Constraint Solving. FM (1) Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024	J	`jnl`	Learning Branching-Time Properties in CTL and ATL via Constraint Solving. CoRR Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024	J	`jnl`	Learning Tree Pattern Transformations. CoRR Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume
2024	J	`jnl`	Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. J. Open Source Softw. Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2024	—	`conf`	Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. VMCAI (2) Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
2024	J	`jnl`	The Complexity of Learning Temporal Properties. CoRR Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024	—	`conf`	Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries. NFM Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider
2024	J	`jnl`	Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. CoRR Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2024	J	`jnl`	VeriFlow: Modeling Distributions for Neural Network Verification. CoRR Faried Abu Zaid, Daniel Neider, Mustafa Yalçiner
2024	—	`conf`	What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications. Principles of Verification (3) Daniel Neider, Rajarshi Roy
2023	J	`jnl`	Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2023	J	`jnl`	Analyzing Robustness of Angluin's L CoRR Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2023	J	`jnl`	Deep Anomaly Detection on Tennessee Eastman Process Data. CoRR 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
2023	J	`jnl`	Defending Our Privacy With Backdoors. CoRR Dominik Hintersdorf, Lukas Struppek, Daniel Neider, Kristian Kersting
2023	J	`jnl`	Inferring Properties in Computation Tree Logic. CoRR Rajarshi Roy, Daniel Neider
2023	J	`jnl`	Interpretable Anomaly Detection via Discrete Optimization. CoRR Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
2023	A*	`conf`	Learning Interpretable Temporal Properties from Positive Examples Only. AAAI Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2023	J	`jnl`	Learning Temporal Properties is NP-hard. CoRR Benjamin Bordais, Daniel Neider, Rajarshi Roy
2023	C	`conf`	Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CD-MAKE Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023	J	`jnl`	Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CoRR Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023	B	`conf`	Robust Alternating-Time Temporal Logic. JELIA Aniello Murano, Daniel Neider, Martin Zimmermann
2023	J	`jnl`	Robust Alternating-Time Temporal Logic. CoRR Aniello Murano, Daniel Neider, Martin Zimmermann
2023	B	`conf`	Specification Sketching for Linear Temporal Logic. ATVA Simon Lutz, Daniel Neider, Rajarshi Roy
2023	J	`jnl`	Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. CoRR Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
2023	—	`conf`	Track C1: Safety Verification of Deep Neural Networks (DNNs). AISoLA Daniel Neider, Taylor T. Johnson
2022	—	`conf`	A Survey of Model Learning Techniques for Recurrent Neural Networks. A Journey from Process Algebra via Timed Automata to Model Learning Benedikt Bollig, Martin Leucker, Daniel Neider
2022	—	`conf`	Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2022	J	`jnl`	Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Trans. Comput. Log. Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
2022	—	`conf`	Expanding the Horizon of Linear Temporal Logic Inference for Explainability. RE Workshops Daniel Neider, Rajarshi Roy
2022	—	`book`	Intelligent formal methods Daniel Neider
2022	J	`jnl`	Learning Interpretable Temporal Properties from Positive Examples Only. CoRR Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	Learning Temporal Logic Properties: an Overview of Two Recent Methods. CoRR Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022	—	`conf`	Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash. FAccT Lukas Struppek, Dominik Hintersdorf, Daniel Neider, Kristian Kersting
2022	J	`jnl`	MaxSAT-based temporal logic inference from noisy data. Innov. Syst. Softw. Eng. Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2022	A*	`conf`	Neuro-Symbolic Verification of Deep Neural Networks. IJCAI Xuan Xie, Kristian Kersting, Daniel Neider
2022	J	`jnl`	Neuro-Symbolic Verification of Deep Neural Networks. CoRR Xuan Xie, Kristian Kersting, Daniel Neider
2022	A*	`conf`	Reinforcement Learning with Stochastic Reward Machines. AAAI Jan Corazza, Ivan Gavran, Daniel Neider
2022	—	`conf`	Robust Computation Tree Logic. NFM Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2022	J	`jnl`	Robust Computation Tree Logic. CoRR Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2022	J	`jnl`	Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Inf. Comput. Daniel Neider, Alexander Weinert, Martin Zimmermann
2022	—	`conf`	Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. ISoLA (1) Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
2022	J	`jnl`	Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. CoRR Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
2022	—	`conf`	Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. TACAS (1) Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2022	J	`jnl`	Specification sketching for Linear Temporal Logic. CoRR Simon Lutz, Daniel Neider, Rajarshi Roy
2021	C	`conf`	Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CD-MAKE Zhe Xu, Bo Wu, Aditya Ojha, Daniel Neider, Ufuk Topcu
2021	—	`conf`	Adaptive strategies for rLTL games. HSCC Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
2021	A*	`conf`	Advice-Guided Reinforcement Learning in a non-Markovian Environment. AAAI Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu
2021	J	`jnl`	Being correct is not enough: efficient verification using robust linear temporal logic. CoRR Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
2021	—	`conf`	Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye
2021	J	`jnl`	From LTL to rLTL monitoring: improved monitorability through robust semantics. Formal Methods Syst. Des. Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2021	J	`jnl`	Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. CoRR Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021	B	`conf`	Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. ATVA Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021	J	`jnl`	Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash. CoRR Lukas Struppek, Dominik Hintersdorf, Daniel Neider, Kristian Kersting
2021	B	`conf`	Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2021	—	`conf`	QUGA - Quality Guarantees for Autoencoders. OVERLAY@GandALF Benedikt Böing, Rajarshi Roy, Daniel Neider, Emmanuel Müller
2021	J	`jnl`	Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic. CoRR Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2021	—	`conf`	Uncertainty-Aware Signal Temporal Logic Inference. VSTTE Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2021	J	`jnl`	Uncertainty-Aware Signal Temporal logic. CoRR Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2020	J	`jnl`	A Formal Language Approach to Explaining RNNs. CoRR Bishwamittra Ghosh, Daniel Neider
2020	J	`jnl`	A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. J. Autom. Reason. Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park
2020	J	`jnl`	Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CoRR Zhe Xu, Bo Wu, Daniel Neider, Ufuk Topcu
2020	—	`conf`	From LTL to rLTL monitoring: improved monitorability through robust semantics. HSCC Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2020	A*	`conf`	Joint Inference of Reward Machines and Policies for Reinforcement Learning. ICAPS Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
2020	A*	`conf`	Learning Interpretable Models in the Property Specification Language. IJCAI Rajarshi Roy, Dana Fisman, Daniel Neider
2020	J	`jnl`	Learning Interpretable Models in the Property Specification Language. CoRR Rajarshi Roy, Dana Fisman, Daniel Neider
2020	B	`conf`	Learning Properties in LTL ∩ ACTL from Positive Examples Only. FMCAD Rüdiger Ehlers, Ivan Gavran, Daniel Neider
2020	B	`conf`	Optimally Resilient Strategies in Pushdown Safety Games. MFCS Daniel Neider, Patrick Totzke, Martin Zimmermann
2020	B	`conf`	Parameterized Synthesis with Safety Properties. APLAS Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
2020	J	`jnl`	Parameterized Synthesis with Safety Properties. CoRR Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
2020	J	`jnl`	Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis. CoRR Daniel Neider, Bishwamittra Ghosh
2020	J	`jnl`	Property-Directed Verification of Recurrent Neural Networks. CoRR Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2020	—	`conf`	Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks. ECML/PKDD (2) Benedikt Böing, Rajarshi Roy, Emmanuel Müller, Daniel Neider
2020	—	`conf`	Resilient Abstraction-Based Controller Design. CDC Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
2020	J	`jnl`	Resilient Abstraction-Based Controller Design. CoRR Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
2020	—	`conf`	Resilient abstraction-based controller design. HSCC Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
2020	J	`jnl`	Synthesizing optimally resilient controllers. Acta Informatica Daniel Neider, Alexander Weinert, Martin Zimmermann
2019	—	`conf`	Evrostos: the rLTL verifier. HSCC Tzanis Anevlavis, Daniel Neider, Matthew Philippe, Paulo Tabuada
2019	J	`jnl`	Joint Inference of Reward Machines and Policies for Reinforcement Learning. CoRR Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
2019	B	`conf`	Learning-Based Synthesis of Safety Controllers. FMCAD Daniel Neider, Oliver Markgraf
2019	J	`jnl`	Learning-Based Synthesis of Safety Controllers. CoRR Daniel Neider, Oliver Markgraf
2019	J	`jnl`	Logic and Learning (Dagstuhl Seminar 19361). Dagstuhl Reports Michael Benedikt, Kristian Kersting, Phokion G. Kolaitis, Daniel Neider
2019	J	`jnl`	Optimally Resilient Strategies in Pushdown Safety Games. CoRR Daniel Neider, Patrick Totzke, Martin Zimmermann
2019	—	`conf`	Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. GandALF Daniel Neider, Alexander Weinert, Martin Zimmermann
2019	B	`conf`	Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. SAS Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan
2018	—	`conf`	Benchmarks for Automata Learning and Conformance Testing. Models, Mindsets, Meta Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens
2018	J	`jnl`	Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. ACM Trans. Comput. Log. Daniel Neider, Shambwaditya Saha, P. Madhusudan
2018	J	`jnl`	From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. CoRR Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2018	J	`jnl`	Horn-ICE learning for synthesizing invariants and contracts. Proc. ACM Program. Lang. P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, P. Madhusudan
2018	—	`conf`	Invariant Synthesis for Incomplete Verification Engines. TACAS (1) Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
2018	B	`conf`	Learning Linear Temporal Properties. FMCAD Daniel Neider, Ivan Gavran
2018	J	`jnl`	Learning Linear Temporal Properties. CoRR Daniel Neider, Ivan Gavran
2018	J	`jnl`	Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. CoRR Daniel Neider, Alexander Weinert, Martin Zimmermann
2018	B	`conf`	Synthesizing Optimally Resilient Controllers. CSL Daniel Neider, Alexander Weinert, Martin Zimmermann
2018	—	`conf`	Verifying rLTL formulas: now faster than ever before! CDC Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
2017	J	`jnl`	Horn-ICE Learning for Synthesizing Invariants and Contracts. CoRR Deepak D'Souza, P. Ezudheen, Pranav Garg, P. Madhusudan, Daniel Neider
2017	J	`jnl`	Invariant Synthesis for Incomplete Verification Engines. CoRR Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
2017	J	`jnl`	Synthesizing Optimally Resilient Controllers. CoRR Daniel Neider, Alexander Weinert, Martin Zimmermann
2016	A	`conf`	Abstract Learning Frameworks for Synthesis. TACAS Christof Löding, P. Madhusudan, Daniel Neider
2016	A	`conf`	An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. TACAS Daniel Neider, Ufuk Topcu
2016	J	`jnl`	An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. CoRR Daniel Neider, Ufuk Topcu
2016	A*	`conf`	Learning invariants using decision trees and implication counterexamples. POPL Pranav Garg, Daniel Neider, P. Madhusudan, Dan Roth
2016	B	`conf`	Robust Linear Temporal Logic. CSL Paulo Tabuada, Daniel Neider
2016	—	`conf`	Synthesis of safety controllers robust to unmodeled intermittent disturbances. CDC Eric Dallal, Daniel Neider, Paulo Tabuada
2016	A	`conf`	Synthesizing Piece-Wise Functions by Learning Classifiers. TACAS Daniel Neider, Shambwaditya Saha, P. Madhusudan
2015	J	`jnl`	Abstract Learning Frameworks for Synthesis. CoRR Christof Löding, P. Madhusudan, Daniel Neider
2015	J	`jnl`	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. Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
2015	J	`jnl`	Robust Linear Temporal Logic. CoRR Paulo Tabuada, Daniel Neider
2014	—	`—`	Applications of automata learning in verification and synthesis. Daniel Neider
2014	J	`jnl`	Down the Borel hierarchy: Solving Muller games via safety games. Theor. Comput. Sci. Daniel Neider, Roman Rabinovich, Martin Zimmermann
2014	A*	`conf`	ICE: A Robust Framework for Learning Invariants. CAV Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
2013	J	`jnl`	Learning Universally Quantified Invariants of Linear Data Structures CoRR Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
2013	A*	`conf`	Learning Universally Quantified Invariants of Linear Data Structures. CAV Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
2013	—	`conf`	Regular Model Checking Using Solver Technologies and Automata Learning. NASA Formal Methods Daniel Neider, Nils Jansen
2012	B	`conf`	Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers. ATVA Daniel Neider
2012	—	`conf`	Down the Borel Hierarchy: Solving Muller Games via Safety Games GandALF Daniel Neider, Roman Rabinovich, Martin Zimmermann
2012	—	`conf`	Learning Minimal Deterministic Automata from Inexperienced Teachers. ISoLA (1) Martin Leucker, Daniel Neider
2011	—	`conf`	Development of libALF. EEFSW Daniel Neider
2011	B	`conf`	Small Strategies for Safety Games. ATVA Daniel Neider
2010	C	`conf`	Reachability Games on Automatic Graphs. CIAA Daniel Neider
2010	A*	`conf`	libalf: The Automata Learning Framework. CAV Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon
2009	J	`jnl`	Lernverfahren für Automaten über linearisierten XML-Dokumenten. Inform. Spektrum Daniel Neider
2008	—	`conf`	Learning Automata for Streaming XML Documents. Informatiktage Daniel Neider
2006	—	`conf`	MediSign - Secure Pharmaceutic Distribution. Informatiktage Maximilian Möllers, Emmanuel Müller, Daniel Neider, Leszek Seweryn