Daniel Neider

According to our database, Daniel Neider authored at least 46 papers between 2006 and 2021.

Collaborative distances:

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

2021

Being correct is not enough: efficient verification using robust linear temporal logic.

Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada

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

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

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

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

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. Fachwissenschaftlicher Informatik-Kongress, 2008

2006

MediSign - Secure Pharmaceutic Distribution.

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

Proceedings of the Informatiktage 2006: Fachwissenschaftlicher Informatik-Kongress, 2006