| Learning Interpretable Models in the Property Specification Language R Roy, D Fisman, D Neider IJCAI 2020, 2020 | 37 | 2020 |
| 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 | 35 | 2021 |
| Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic R Raha, R Roy, N Fijalkow, D Neider Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022 | 32 | 2022 |
| Property-Directed Verification and Robustness Certification of Recurrent Neural Networks I Khmelnitsky, D Neider, R Roy, X Xie, B Barbot, B Bollig, A Finkel, ... Automated Technology for Verification and Analysis: 19th International …, 2021 | 24* | 2021 |
| Learning interpretable temporal properties from positive examples only R Roy, JR Gaglione, N Baharisangari, D Neider, Z Xu, U Topcu Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6507-6515, 2023 | 21 | 2023 |
| Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search B Barbot, B Bollig, A Finkel, S Haddad, I Khmelnitsky, M Leucker, ... International Conference on Grammatical Inference, 113-129, 2021 | 12 | 2021 |
| Specification sketching for linear temporal logic S Lutz, D Neider, R Roy International Symposium on Automated Technology for Verification and …, 2023 | 11 | 2023 |
| MaxSAT-Based Temporal Logic Inference from Noisy Data JR Gaglione, D Neider, R Roy, U Topcu, Z Xu Innovations in Systems and Software Engineering 18 (3), 427-442, 2022 | 11 | 2022 |
| Synthesizing efficiently monitorable formulas in metric temporal logic R Raha, R Roy, N Fijalkow, D Neider, GA Pérez International Conference on Verification, Model Checking, and Abstract …, 2023 | 9 | 2023 |
| Analysis of recurrent neural networks via property-directed verification of surrogate models I Khmelnitsky, D Neider, R Roy, X Xie, B Barbot, B Bollig, A Finkel, ... International Journal on Software Tools for Technology Transfer 25 (3), 341-354, 2023 | 9 | 2023 |
| Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks B Böing, R Roy, E Müller, D Neider Machine Learning and Knowledge Discovery in Databases: European Conference …, 2021 | 7 | 2021 |
| Robust Computation Tree Logic SP Nayak, D Neider, R Roy, M Zimmermann NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022 | 6 | 2022 |
| Expanding the horizon of linear temporal logic inference for explainability D Neider, R Roy 2022 IEEE 30th International Requirements Engineering Conference Workshops …, 2022 | 3 | 2022 |
| Learning Branching-Time Properties in CTL and ATL via Constraint Solving B Bordais, D Neider, R Roy International Symposium on Formal Methods, 304-323, 2024 | 2 | 2024 |
| Inferring properties in computation tree logic R Roy, D Neider arXiv preprint arXiv:2310.13778, 2023 | 2 | 2023 |
| Reinforcement Learning with Temporal-Logic-Based Causal Diagrams Y Paliwal, R Roy, JR Gaglione, N Baharisangari, D Neider, X Duan, ... International Cross-Domain Conference for Machine Learning and Knowledge …, 2023 | 2 | 2023 |
| Analyzing Robustness of Angluin's L Algorithm in Presence of Noise L Ye, I Khmelnitsky, S Haddad, B Barbot, B Bollig, M Leucker, D Neider, ... Logical Methods in Computer Science 20, 2024 | 1 | 2024 |
| Learning Temporal Properties is NP-hard B Bordais, D Neider, R Roy arXiv preprint arXiv:2312.11403, 2023 | 1 | 2023 |
| Learning Temporal Logic Properties: an Overview of Two Recent Methods JR Gaglione, R Roy, N Baharisangari, D Neider, Z Xu, U Topcu arXiv preprint arXiv:2212.00916, 2022 | 1 | 2022 |
| What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications D Neider, R Roy Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | | 2024 |
Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityVerified email at tu-dortmund.de
