フォロー
Daniel Neider
Daniel Neider
TU Dortmund University and Center for Trustworthy Data Science and Security
確認したメール アドレス: tu-dortmund.de
タイトル
引用先
引用先
年
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
2792014
Learning invariants using decision trees and implication counterexamples
P Garg, D Neider, P Madhusudan, D Roth
ACM Sigplan Notices 51 (1), 499-512, 2016
2452016
Learning linear temporal properties
D Neider, I Gavran
2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018
1362018
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
1292010
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
1142020
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
742018
Robust linear temporal logic
P Tabuada, D Neider
arXiv preprint arXiv:1510.08970, 2015
612015
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
552019
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
542022
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
532013
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
472021
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
422016
Abstract learning frameworks for synthesis
C Löding, P Madhusudan, D Neider
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
392016
Regular model checking using solver technologies and automata learning
D Neider, N Jansen
NASA Formal Methods Symposium, 16-31, 2013
392013
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
372021
Learning interpretable models in the property specification language
R Roy, D Fisman, D Neider
arXiv preprint arXiv:2002.03668, 2020
372020
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
352021
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
322022
Computing minimal separating DFAs and regular invariants using SAT and SMT solvers
D Neider
International Symposium on Automated Technology for Verification and …, 2012
322012
Reinforcement learning with stochastic reward machines
J Corazza, I Gavran, D Neider
Proceedings of the AAAI Conference on Artificial Intelligence 36 (6), 6429-6436, 2022
302022
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20