Daniel Neider

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2020
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines.
J. Autom. Reason., 2020

Property-Directed Verification of Recurrent Neural Networks.
CoRR, 2020

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

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

A Formal Language Approach to Explaining RNNs.
CoRR, 2020

Synthesizing optimally resilient controllers.
Acta Informatica, 2020

Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2020

Optimally Resilient Strategies in Pushdown Safety Games.
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Learning Interpretable Models in the Property Specification Language.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Resilient abstraction-based controller design.
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.
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.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Parameterized Synthesis with Safety Properties.
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

Joint Inference of Reward Machines and Policies for Reinforcement Learning.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019
Logic and Learning (Dagstuhl Seminar 19361).
Dagstuhl Reports, 2019

Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free.
Proceedings of the Proceedings Tenth International Symposium on Games, 2019

Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants.
Proceedings of the Static Analysis - 26th International Symposium, 2019

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

Learning-Based Synthesis of Safety Controllers.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers.
ACM Trans. Comput. Log., 2018

Horn-ICE learning for synthesizing invariants and contracts.
Proc. ACM Program. Lang., 2018

Invariant Synthesis for Incomplete Verification Engines.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Learning Linear Temporal Properties.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Verifying rLTL formulas: now faster than ever before!
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Benchmarks for Automata Learning and Conformance Testing.
Proceedings of the Models, Mindsets, 2018

2016
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Synthesizing Piece-Wise Functions by Learning Classifiers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Abstract Learning Frameworks for Synthesis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Learning invariants using decision trees and implication counterexamples.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Robust Linear Temporal Logic.
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

Synthesis of safety controllers robust to unmodeled intermittent disturbances.
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.
Formal Methods Syst. Des., 2015

2014
Applications of automata learning in verification and synthesis.
PhD thesis, 2014

Down the Borel hierarchy: Solving Muller games via safety games.
Theor. Comput. Sci., 2014

ICE: A Robust Framework for Learning Invariants.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Regular Model Checking Using Solver Technologies and Automata Learning.
Proceedings of the NASA Formal Methods, 2013

Learning Universally Quantified Invariants of Linear Data Structures.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Learning Minimal Deterministic Automata from Inexperienced Teachers.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Small Strategies for Safety Games.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Reachability Games on Automatic Graphs.
Proceedings of the Implementation and Application of Automata, 2010

libalf: The Automata Learning Framework.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Lernverfahren für Automaten über linearisierten XML-Dokumenten.
Inform. Spektrum, 2009

2008
Learning Automata for Streaming XML Documents.
Proceedings of the Informatiktage 2008. Fachwissenschaftlicher Informatik-Kongress, 2008

2006
MediSign - Secure Pharmaceutic Distribution.
Proceedings of the Informatiktage 2006: Fachwissenschaftlicher Informatik-Kongress, 2006


  Loading...