Daniel Neider

According to our database, Daniel Neider authored at least 85 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider

J. Open Source Softw., January, 2024

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

CoRR, 2024

Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains.

Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Analysis of recurrent neural networks via property-directed verification of surrogate models.

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

Int. J. Softw. Tools Technol. Transf., June, 2023

Learning Temporal Properties is NP-hard.

Benjamin Bordais, Daniel Neider, Rajarshi Roy

CoRR, 2023

Inferring Properties in Computation Tree Logic.

Rajarshi Roy, Daniel Neider

CoRR, 2023

Defending Our Privacy With Backdoors.

Dominik Hintersdorf, Lukas Struppek, Daniel Neider, Kristian Kersting

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

CoRR, 2023

Interpretable Anomaly Detection via Discrete Optimization.

Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider

CoRR, 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, Benjamin Klöpper, Stephan Mandt, Michael Bortz, Jakob Burger, Hans Hasse, Marius Kloft

CoRR, 2023

Track C1: Safety Verification of Deep Neural Networks (DNNs).

Daniel Neider, Taylor T. Johnson

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Robust Alternating-Time Temporal Logic.

Aniello Murano, Daniel Neider, Martin Zimmermann

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams.

Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu

Proceedings of the Machine Learning and Knowledge Extraction, 2023

Specification Sketching for Linear Temporal Logic.

Simon Lutz, Daniel Neider, Rajarshi Roy

Proceedings of the Automated Technology for Verification and Analysis, 2023

Learning Interpretable Temporal Properties from Positive Examples Only.

Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

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

MaxSAT-based temporal logic inference from noisy data.

Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu

Innov. Syst. Softw. Eng., 2022

Learning Temporal Logic Properties: an Overview of Two Recent Methods.

Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu

CoRR, 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

Proceedings of the 13th International Symposium on Games, 2022

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Expanding the Horizon of Linear Temporal Logic Inference for Explainability.

Daniel Neider, Rajarshi Roy

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Robust Computation Tree Logic.

Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime.

Satya Prakash Nayak, Daniel Neider, Martin Zimmermann

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Neuro-Symbolic Verification of Deep Neural Networks.

Xuan Xie, Kristian Kersting, Daniel Neider

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash.

Lukas Struppek, Dominik Hintersdorf, Daniel Neider, Kristian Kersting

Proceedings of the FAccT '22: 2022 ACM Conference on Fairness, Accountability, and Transparency, Seoul, Republic of Korea, June 21, 2022

A Survey of Model Learning Techniques for Recurrent Neural Networks.

Benedikt Bollig, Martin Leucker, Daniel Neider

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

Reinforcement Learning with Stochastic Reward Machines.

Jan Corazza, Ivan Gavran, Daniel Neider

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

From LTL to rLTL monitoring: improved monitorability through robust semantics.

Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann

Formal Methods Syst. Des., 2021

Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider

CoRR, 2021

Uncertainty-Aware Signal Temporal logic.

Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu

CoRR, 2021

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach.

Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu

CoRR, 2021

Uncertainty-Aware Signal Temporal Logic Inference.

Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu

Proceedings of the Software Verification - 13th International Conference, 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, Lina Ye

Proceedings of the 15th International Conference on Grammatical Inference, 2021

Adaptive strategies for rLTL games.

Satya Prakash Nayak, Daniel Neider, Martin Zimmermann

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

QUGA - Quality Guarantees for Autoencoders.

Benedikt Böing, Rajarshi Roy, Daniel Neider, Emmanuel Müller

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples.

Zhe Xu, Bo Wu, Aditya Ojha, Daniel Neider, Ufuk Topcu

Proceedings of the Machine Learning and Knowledge Extraction, 2021

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

Proceedings of the Automated Technology for Verification and Analysis, 2021

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach.

Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu

Proceedings of the Automated Technology for Verification and Analysis, 2021

Advice-Guided Reinforcement Learning in a non-Markovian Environment.

Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines.

Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park

J. Autom. Reason., 2020

Property-Directed Verification of Recurrent Neural Networks.

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

CoRR, 2020

Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis.

Daniel Neider, Bishwamittra Ghosh

CoRR, 2020

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples.

Zhe Xu, Bo Wu, Daniel Neider, Ufuk Topcu

CoRR, 2020

A Formal Language Approach to Explaining RNNs.

Bishwamittra Ghosh, Daniel Neider

CoRR, 2020

Synthesizing optimally resilient controllers.

Daniel Neider, Alexander Weinert, Martin Zimmermann

Acta Informatica, 2020

Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks.

Benedikt Böing, Rajarshi Roy, Emmanuel Müller, Daniel Neider

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2020

Optimally Resilient Strategies in Pushdown Safety Games.

Daniel Neider, Patrick Totzke, Martin Zimmermann

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Learning Interpretable Models in the Property Specification Language.

Rajarshi Roy, Dana Fisman, Daniel Neider

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Resilient abstraction-based controller design.

Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Learning Properties in LTL ∩ ACTL from Positive Examples Only.

Rüdiger Ehlers, Ivan Gavran, Daniel Neider

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Parameterized Synthesis with Safety Properties.

Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

Joint Inference of Reward Machines and Policies for Reinforcement Learning.

Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Logic and Learning (Dagstuhl Seminar 19361).

Michael Benedikt, Kristian Kersting, Phokion G. Kolaitis, Daniel Neider

Dagstuhl Reports, 2019

Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free.

Daniel Neider, Alexander Weinert, Martin Zimmermann

Proceedings of the Proceedings Tenth International Symposium on Games, 2019

Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants.

Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan

Proceedings of the Static Analysis - 26th International Symposium, 2019

Evrostos: the rLTL verifier.

Tzanis Anevlavis, Daniel Neider, Matthew Philippe, Paulo Tabuada

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Learning-Based Synthesis of Safety Controllers.

Daniel Neider, Oliver Markgraf

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

Compositional Synthesis of Piece-Wise Functions by Learning Classifiers.

Daniel Neider, Shambwaditya Saha, P. Madhusudan

ACM Trans. Comput. Log., 2018

Horn-ICE learning for synthesizing invariants and contracts.

P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, P. Madhusudan

Proc. ACM Program. Lang., 2018

Invariant Synthesis for Incomplete Verification Engines.

Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Learning Linear Temporal Properties.

Daniel Neider, Ivan Gavran

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Verifying rLTL formulas: now faster than ever before!

Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Benchmarks for Automata Learning and Conformance Testing.

Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens

Proceedings of the Models, Mindsets, 2018

2016

An Automaton Learning Approach to Solving Safety Games over Infinite Graphs.

Daniel Neider, Ufuk Topcu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Synthesizing Piece-Wise Functions by Learning Classifiers.

Daniel Neider, Shambwaditya Saha, P. Madhusudan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Abstract Learning Frameworks for Synthesis.

Christof Löding, P. Madhusudan, Daniel Neider

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Learning invariants using decision trees and implication counterexamples.

Pranav Garg, Daniel Neider, P. Madhusudan, Dan Roth

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Robust Linear Temporal Logic.

Paulo Tabuada, Daniel Neider

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

Synthesis of safety controllers robust to unmodeled intermittent disturbances.

Eric Dallal, Daniel Neider, Paulo Tabuada

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists.

Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider

Formal Methods Syst. Des., 2015

2014

Applications of automata learning in verification and synthesis.

Daniel Neider

PhD thesis, 2014

Down the Borel hierarchy: Solving Muller games via safety games.

Daniel Neider, Roman Rabinovich, Martin Zimmermann

Theor. Comput. Sci., 2014

ICE: A Robust Framework for Learning Invariants.

Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Regular Model Checking Using Solver Technologies and Automata Learning.

Daniel Neider, Nils Jansen

Proceedings of the NASA Formal Methods, 2013

Learning Universally Quantified Invariants of Linear Data Structures.

Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Learning Minimal Deterministic Automata from Inexperienced Teachers.

Martin Leucker, Daniel Neider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers.

Daniel Neider

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Development of libALF.

Daniel Neider

Proceedings of the Entwicklung und Evolution von Forschungssoftware: Tagungsband des Workshops, 2011

Small Strategies for Safety Games.

Daniel Neider

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Reachability Games on Automatic Graphs.

Daniel Neider

Proceedings of the Implementation and Application of Automata, 2010

libalf: The Automata Learning Framework.

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Lernverfahren für Automaten über linearisierten XML-Dokumenten.

Daniel Neider

Inform. Spektrum, 2009

2008

Learning Automata for Streaming XML Documents.

Daniel Neider

Proceedings of the Informatiktage 2008, 2008

2006

MediSign - Secure Pharmaceutic Distribution.

Maximilian Möllers, Emmanuel Müller, Daniel Neider, Leszek Seweryn

Proceedings of the Informatiktage 2006, 2006