Daniel Neider

Cited by

	All	Since 2017
Citations	1112	910
h-index	16	14
i10-index	25	22

220

110

165

20102011201220132014201520162017201820192020202120226 7 11 17 26 40 82 77 100 139 208 196 184

Public access

View all

22 articles

1 article

available

not available

Based on funding mandates

Co-authors

Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Pranav GargAmazonVerified email at amazon.com
Martin ZimmermannAalborg UniversityVerified email at cs.aau.dk
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Zhe XuAssistant Professor, Arizona State UniversityVerified email at asu.edu
Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAVerified email at ee.ucla.edu
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Benedikt BolligCNRS, LMF, ENS Paris-SaclayVerified email at lsv.ens-cachan.fr
Alexander WeinertResearch Group Lead Distributed Systems, German Aerospace CenterVerified email at dlr.de
Dan RothProfessor of Computer Science, University of PennsylvaniaVerified email at seas.upenn.edu
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Tzanis AnevlavisUCLAVerified email at ucla.edu
Roman RabinovichTechnische Universität BerlinVerified email at tu-berlin.de
Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceVerified email at iisc.ac.in
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Nils JansenAssistant Professor, Radboud University NijmegenVerified email at science.ru.nl
Maximilian SchwengerCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Eric DallalPost-Doc, University of California, Los AngelesVerified email at ucla.edu
Emmanuel MüllerProfessor of Computer Science, Technical University of DortmundVerified email at cs.tu-dortmund.de

Daniel Neider

Research Group Leader, Max Planck Institute for Software Systems

Verified email at mpi-sws.org

Logic Machine Learning Verification Artificial Intelligence


Title Sort by citations Sort by year Sort by 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	191	2014
Learning invariants using decision trees and implication counterexamples P Garg, D Neider, P Madhusudan, D Roth ACM Sigplan Notices 51 (1), 499-512, 2016	177	2016
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	107	2010
Learning linear temporal properties D Neider, I Gavran 2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018	65	2018
Robust linear temporal logic P Tabuada, D Neider arXiv preprint arXiv:1510.08970, 2015	44	2015
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	40	2018
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	39	2020
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	39	2013
Abstract learning frameworks for synthesis C Löding, P Madhusudan, D Neider International Conference on Tools and Algorithms for the Construction and …, 2016	32	2016
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	30	2016
Regular model checking using solver technologies and automata learning D Neider, N Jansen NASA Formal Methods Symposium, 16-31, 2013	25	2013
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	21	2019
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	18	2016
Computing minimal separating DFAs and regular invariants using SAT and SMT solvers D Neider International Symposium on Automated Technology for Verification and …, 2012	18	2012
Synthesizing optimally resilient controllers D Neider, A Weinert, M Zimmermann Acta Informatica 57 (1), 195-221, 2020	17	2020
Small strategies for safety games D Neider International Symposium on Automated Technology for Verification and …, 2011	17	2011
Down the Borel hierarchy: Solving Muller games via safety games D Neider, R Rabinovich, M Zimmermann Theoretical Computer Science 560, 219-234, 2014	16*	2014
Learning minimal deterministic automata from inexperienced teachers M Leucker, D Neider International Symposium On Leveraging Applications of Formal Methods …, 2012	15	2012
Synthesizing piece-wise functions by learning classifiers D Neider, S Saha, P Madhusudan International Conference on Tools and Algorithms for the Construction and …, 2016	14	2016
Advice-guided reinforcement learning in a non-markovian environment D Neider, JR Gaglione, I Gavran, U Topcu, B Wu, Z Xu Proceedings of the AAAI Conference on Artificial Intelligence 35 (10), 9073-9080, 2021	13	2021

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors