DN
Daniel Neider
cs.AIcs.LGcs.LOcs.FLcs.GTcs.PLcs.CCcs.SEcs.SYeess.SY
On Valency
published · living versionsW_9zv6edxy·v1 · currentpublished
Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance
with Xi Zheng, Ivan Ruchkin, Hong Jin Kang, Tevfik Bultan +9
1 version
Preprints & journals
63 papers in the corpus · 2012–2026Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification2606.03593v1 · Xi Zheng, Dulanga Weerakoon, Yintong Huo et al.2026 · 0 citationsarXiv
Detecting Diffusion-Generated Time Series Under Generator Shift2605.28355v1 · Zhi Wen Soi, Aditya Shankar, Gert Lek et al.2026 · 0 citationsarXiv
Evaluating Counterfactual Explanation Methods on Incomplete Inputs2604.08004v1 · Francesco Leofante, Daniel Neider, Mustafa Yalc\iner2026 · 0 citationsarXiv
Reinforcement Learning with Symbolic Reward Machines2603.03068v1 · Thomas Krug, Daniel Neider2026 · 0 citationsarXiv
Learning DFAs from Positive Examples Only via Word Counting2511.08431v2 · Benjamin Bordais, Daniel Neider2025 · 0 citationsarXiv
Formally Exploring Time-Series Anomaly Detection Evaluation Metrics2510.17562v1 · Dennis Wagner, Arjun Nair, Billy Joe Franks et al.2025 · 0 citationsarXiv
Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment2510.15456v1 · Jan Corazza, Hadi Partovi Aria, Daniel Neider et al.2025 · 0 citationsJan Corazza, Hadi Partovi Aria, Daniel Neider, Zhe Xu Proceedings of the Third Conference on Causal Learning and Reasoning, PMLR 236:643-664, 2024
Reinforcement Learning with Stochastic Reward Machines2510.14837v1 · Jan Corazza, Ivan Gavran, Daniel Neider2025 · 17 citationsCorazza, J., Gavran, I., & Neider, D. (2022). Reinforcement Learning with Stochastic Reward Machines. Proceedings of the AAAI Conference on Artificial Intelligence, 36(6), 6429-6436
On Uniformly Scaling Flows: A Density-Aligned Approach to Deep One-Class Classification2510.09452v1 · Faried Abu Zaid, Tim Katzke, Emmanuel Muller et al.2025 · 0 citationsarXiv
Formal verification for robo-advisors: Irrelevant for subjective end-user trust, yet decisive for investment behavior?2509.08540v1 · Alina Tausch, Magdalena Wischnewski, Mustafa Yalciner et al.2025 · 0 citationsarXiv
Fine-Tuning Multilingual Language Models for Code Review: An Empirical Study on Industrial C# Projects2507.19271v2 · Igli Begolli, Meltem Aksoy, Daniel Neider2025 · 0 citationsarXiv
Decentralizing Multi-Agent Reinforcement Learning with Temporal Causal Information2506.07829v2 · Jan Corazza, Hadi Partovi Aria, Hyohun Kim et al.2025 · 2 citationsECML PKDD 2025 (LNCS, vol. 16018, pp. 77-94)
A framework for computing upper bounds in passive learning settings2504.03517v4 · Benjamin Bordais, Daniel Neider2025 · 1 citationarXiv
A Cautionary Tale About "Neutrally" Informative AI Tools Ahead of the 2025 Federal Elections in Germany2502.15568v2 · Ina Dormuth, Sven Franke, Marlies Hafer et al.2025 · 3 citationsExplainable Artificial Intelligence (xAI 2025). Communications in Computer and Information Science, vol. 2580, pp. 64-85. Springer, Cham (2026)
What is Formal Verification without Specifications? A Survey on mining LTL Specifications2501.16274v1 · Daniel Neider, Rajarshi Roy2025 · 8 citationsarXiv
Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs2501.12972v1 · Jan Corazza, Ivan Gavran, Gabriela Moreira et al.2025 · 1 citation2025 IEEE Conference on Software Testing, Verification and Validation (ICST), Napoli, Italy, 2025, pp. 542-552
Learning Tree Pattern Transformations2410.07708v2 · Daniel Neider, Leif Sabellek, Johannes Schmidt et al.2024 · 0 citationsarXiv
Learning Branching-Time Properties in CTL and ATL via Constraint Solving2406.19890v1 · Benjamin Bordais, Daniel Neider, Rajarshi Roy2024 · 5 citationsarXiv
VeriFlow: Modeling Distributions for Neural Network Verification2406.14265v3 · Faried Abu Zaid, Daniel Neider, Mustafa Yalc\iner2024 · 0 citationsarXiv
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine2402.07069v1 · Shayan Meshkat Alsadat, Jean-Raphael Gaglione, Daniel Neider et al.2024 · 6 citationsarXiv
Learning Temporal Properties is NP-hard2312.11403v1 · Benjamin Bordais, Daniel Neider, Rajarshi Roy2023 · 0 citationsarXiv
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic2310.17410v1 · Ritam Raha, Rajarshi Roy, Nathanael Fijalkow et al.2023 · 9 citationsarXiv
Inferring Properties in Computation Tree Logic2310.13778v1 · Rajarshi Roy, Daniel Neider2023 · 1 citationarXiv
Defending Our Privacy With Backdoors2310.08320v4 · Dominik Hintersdorf, Lukas Struppek, Daniel Neider et al.2023 · 4 citationsarXiv
Robust Alternating-Time Temporal Logic2307.10885v1 · Aniello Murano, Daniel Neider, Martin Zimmermann2023 · 4 citationsarXiv
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams2306.13732v2 · Yash Paliwal, Rajarshi Roy, Jean-Raphael Gaglione et al.2023 · 2 citationsarXiv
Analyzing Robustness of Angluin's L Algorithm in Presence of Noise2306.08266v5 · Lina Ye, Igor Khmelnitsky, Serge Haddad et al.2023 · 1 citationLogical Methods in Computer Science, Volume 20, Issue 1 (March 20, 2024) lmcs:11472
Unsupervised Automata Learning via Discrete Optimization2303.14111v3 · Simon Lutz, Daniil Kaminskyi, Florian Wittbold et al.2023 · 2 citationsarXiv
Deep Anomaly Detection on Tennessee Eastman Process Data2303.05904v1 · Fabian Hartung, Billy Joe Franks, Tobias Michels et al.2023 · 32 citationsarXiv
Learning Temporal Logic Properties: an Overview of Two Recent Methods2212.00916v1 · Jean-Raphael Gaglione, Rajarshi Roy, Nasim Baharisangari et al.2022 · 1 citationarXiv
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise2209.10315v1 · Igor Khmelnitsky, Serge Haddad, Lina Ye et al.2022 · 4 citationsEPTCS 370, 2022, pp. 81-96
Learning Interpretable Temporal Properties from Positive Examples Only2209.02650v2 · Rajarshi Roy, Jean-Raphael Gaglione, Nasim Baharisangari et al.2022 · 15 citationsarXiv
Specification sketching for Linear Temporal Logic2206.06722v1 · Simon Lutz, Daniel Neider, Rajarshi Roy2022 · 7 citationsarXiv
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime2204.10912v2 · Satya Prakash Nayak, Daniel Neider, Martin Zimmermann2022 · 5 citationsarXiv
Neuro-Symbolic Verification of Deep Neural Networks2203.00938v1 · Xuan Xie, Kristian Kersting, Daniel Neider2022 · 22 citationsarXiv
Robust Computation Tree Logic2201.07116v6 · Satya Prakash Nayak, Daniel Neider, Rajarshi Roy et al.2022 · 4 citationsarXiv
Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash2111.06628v5 · Lukas Struppek, Dominik Hintersdorf, Daniel Neider et al.2021 · 151 citationsarXiv
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic2110.06726v4 · Ritam Raha, Rajarshi Roy, Nathanael Fijalkow et al.2021 · 25 citationsarXiv
Uncertainty-Aware Signal Temporal Logic Inference2105.11545v2 · Nasim Baharisangari, Jean-Raphael Gaglione, Daniel Neider et al.2021 · 6 citationsarXiv
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach2104.15083v2 · Jean-Raphael Gaglione, Daniel Neider, Rajarshi Roy et al.2021 · 3 citationsarXiv
Being correct is not enough: efficient verification using robust linear temporal logic2102.11991v2 · Tzanis Anevlavis, Matthew Philippe, Daniel Neider et al.2021 · 22 citationsACM Transactions on Computational Logic, Volume 23, Issue 2, April 2022, Article No.: 8, pp 1-39
From LTL to rLTL monitoring: improved monitorability through robust semantics.36590854 · Mascle, Corto, Neider, Daniel, Schwenger, Maximilian et al.2024 · 3 citationsFormal methods in system design. 2021;59(1-3):170-204
Parameterized Synthesis with Safety Properties2009.13459v1 · Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin et al.2020 · 9 citationsarXiv
Property-Directed Verification of Recurrent Neural Networks2009.10610v1 · Igor Khmelnitsky, Daniel Neider, Rajarshi Roy et al.2020 · 6 citationsarXiv
Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis2009.08770v1 · Daniel Neider, Bishwamittra Ghosh2020 · 1 citationarXiv
Resilient Abstraction-Based Controller Design2008.06315v1 · Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck et al.2020 · 5 citationsarXiv
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples2006.15714v4 · Zhe Xu, Bo Wu, Aditya Ojha et al.2020 · 25 citationsarXiv
A Formal Language Approach to Explaining RNNs2006.07292v1 · Bishwamittra Ghosh, Daniel Neider2020 · 1 citationarXiv
Learning Interpretable Models in the Property Specification Language2002.03668v1 · Rajarshi Roy, Dana Fisman, Daniel Neider2020 · 24 citationsarXiv
Optimally Resilient Strategies in Pushdown Safety Games1912.04771v2 · Daniel Neider, Patrick Totzke, Martin Zimmermann2019 · 1 citationarXiv
Career total: 149 works. 63 are in this corpus.Showing the 50 most recent.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.