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
2572014
Learning invariants using decision trees and implication counterexamples
P Garg, D Neider, P Madhusudan, D Roth
ACM Sigplan Notices 51 (1), 499-512, 2016
2322016
Learning linear temporal properties
D Neider, I Gavran
2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018
1252018
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
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
952020
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
652018
Robust linear temporal logic
P Tabuada, D Neider
arXiv preprint arXiv:1510.08970, 2015
602015
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
502019
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
502013
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
422022
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
392016
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
372021
Abstract learning frameworks for synthesis
C Löding, P Madhusudan, D Neider
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
362016
Regular model checking using solver technologies and automata learning
D Neider, N Jansen
NASA Formal Methods Symposium, 16-31, 2013
362013
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
292021
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
282021
Learning interpretable models in the property specification language
R Roy, D Fisman, D Neider
arXiv preprint arXiv:2002.03668, 2020
282020
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
Computing minimal separating DFAs and regular invariants using SAT and SMT solvers
D Neider
International Symposium on Automated Technology for Verification and …, 2012
282012
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
262022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20