Daniel Neider
Daniel Neider
Verified email at mpi-sws.org
Title
Cited by
Cited by
Year
ICE: A robust framework for learning invariants
P Garg, C Löding, P Madhusudan, D Neider
International Conference on Computer Aided Verification, 69-87, 2014
1642014
Learning invariants using decision trees and implication counterexamples
P Garg, D Neider, P Madhusudan, D Roth
ACM Sigplan Notices 51 (1), 499-512, 2016
1492016
libalf: The automata learning framework
B Bollig, JP Katoen, C Kern, M Leucker, D Neider, DR Piegdon
International Conference on Computer Aided Verification, 360-364, 2010
992010
Learning linear temporal properties
D Neider, I Gavran
2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018
382018
Learning universally quantified invariants of linear data structures
P Garg, C Löding, P Madhusudan, D Neider
International Conference on Computer Aided Verification, 813-829, 2013
372013
Robust linear temporal logic
P Tabuada, D Neider
arXiv preprint arXiv:1510.08970, 2015
322015
Abstract learning frameworks for synthesis
C Löding, P Madhusudan, D Neider
International Conference on Tools and Algorithms for the Construction and …, 2016
282016
Horn-ICE learning for synthesizing invariants and contracts
P Ezudheen, D Neider, D D'Souza, P Garg, P Madhusudan
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018
272018
An automaton learning approach to solving safety games over infinite graphs
D Neider, U Topcu
International Conference on Tools and Algorithms for the Construction and …, 2016
262016
Regular model checking using solver technologies and automata learning
D Neider, N Jansen
NASA Formal Methods Symposium, 16-31, 2013
232013
Benchmarks for automata learning and conformance testing
D Neider, R Smetsers, F Vaandrager, H Kuppens
Models, Mindsets, Meta: The What, the How, and the Why Not?, 390-416, 2019
152019
Down the Borel hierarchy: Solving Muller games via safety games
D Neider, R Rabinovich, M Zimmermann
Theoretical Computer Science 560, 219-234, 2014
15*2014
Learning minimal deterministic automata from inexperienced teachers
M Leucker, D Neider
International Symposium On Leveraging Applications of Formal Methods …, 2012
152012
Computing minimal separating DFAs and regular invariants using SAT and SMT solvers
D Neider
International Symposium on Automated Technology for Verification and …, 2012
152012
Small strategies for safety games
D Neider
International Symposium on Automated Technology for Verification and …, 2011
152011
Joint inference of reward machines and policies for reinforcement learning
Z Xu, I Gavran, Y Ahmad, R Majumdar, D Neider, U Topcu, B Wu
Proceedings of the International Conference on Automated Planning and …, 2020
132020
Synthesizing piece-wise functions by learning classifiers
D Neider, S Saha, P Madhusudan
International Conference on Tools and Algorithms for the Construction and …, 2016
132016
Synthesis of safety controllers robust to unmodeled intermittent disturbances
E Dallal, D Neider, P Tabuada
2016 IEEE 55th Conference on Decision and Control (CDC), 7425-7430, 2016
122016
Applications of automata learning in verification and synthesis
D Neider
Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
112014
Invariant synthesis for incomplete verification engines
D Neider, P Garg, P Madhusudan, S Saha, D Park
International Conference on Tools and Algorithms for the Construction and …, 2018
92018
The system can't perform the operation now. Try again later.
Articles 1–20