Seguir
Daniel Neider
Daniel Neider
TU Dortmund University and Center for Trustworthy Data Science and Security
Dirección de correo verificada de tu-dortmund.de
Título
Citado por
Citado por
Año
ICE: A robust framework for learning invariants
P Garg, C Löding, P Madhusudan, D Neider
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
2482014
Learning invariants using decision trees and implication counterexamples
P Garg, D Neider, P Madhusudan, D Roth
ACM Sigplan Notices 51 (1), 499-512, 2016
2242016
libalf: The automata learning framework
B Bollig, JP Katoen, C Kern, M Leucker, D Neider, DR Piegdon
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1222010
Learning linear temporal properties
D Neider, I Gavran
2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018
1202018
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
912020
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
682018
Robust linear temporal logic
P Tabuada, D Neider
arXiv preprint arXiv:1510.08970, 2015
602015
Learning universally quantified invariants of linear data structures
P Garg, C Löding, P Madhusudan, D Neider
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
492013
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? Essays Dedicated …, 2019
442019
Learning to break deep perceptual hashing: The use case neuralhash
L Struppek, D Hintersdorf, D Neider, K Kersting
Proceedings of the 2022 ACM Conference on Fairness, Accountability, and …, 2022
372022
An automaton learning approach to solving safety games over infinite graphs
D Neider, U Topcu
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
352016
Abstract learning frameworks for synthesis
C Löding, P Madhusudan, D Neider
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
352016
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
342021
Regular model checking using solver technologies and automata learning
D Neider, N Jansen
NASA Formal Methods Symposium, 16-31, 2013
322013
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
282016
Active finite reward automaton inference and reinforcement learning using queries and counterexamples
Z Xu, B Wu, A Ojha, D Neider, U Topcu
Machine Learning and Knowledge Extraction: 5th IFIP TC 5, TC 12, WG 8.4, WG …, 2021
272021
Computing minimal separating DFAs and regular invariants using SAT and SMT solvers
D Neider
International Symposium on Automated Technology for Verification and …, 2012
262012
Learning interpretable models in the property specification language
R Roy, D Fisman, D Neider
arXiv preprint arXiv:2002.03668, 2020
252020
Learning linear temporal properties from noisy data: A maxsat-based approach
JR Gaglione, D Neider, R Roy, U Topcu, Z Xu
Automated Technology for Verification and Analysis: 19th International …, 2021
242021
Scalable anytime algorithms for learning fragments of linear temporal logic
R Raha, R Roy, N Fijalkow, D Neider
International Conference on Tools and Algorithms for the Construction and …, 2022
232022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20