Daniel Neider

Identifiers

• name variant Daniel Neider 0.60 · backfill

Papers (10)

1. Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification cs.SE · 2026 · author #7
2. Detecting Diffusion-Generated Time Series Under Generator Shift cs.LG · 2026 · author #5
3. Evaluating Counterfactual Explanation Methods on Incomplete Inputs cs.AI · 2026 · author #2
4. Learning Linear Temporal Properties cs.LO · 2018 · author #1
5. Horn-ICE Learning for Synthesizing Invariants and Contracts cs.LO · 2017 · author #5
6. Invariant Synthesis for Incomplete Verification Engines cs.PL · 2017 · author #1
7. An Automaton Learning Approach to Solving Safety Games over Infinite Graphs cs.FL · 2016 · author #1
8. Robust Linear Temporal Logic cs.LO · 2015 · author #2
9. Abstract Learning Frameworks for Synthesis cs.LO · 2015 · author #3
10. Learning Universally Quantified Invariants of Linear Data Structures cs.PL · 2013 · author #4

Mentions

• 1510.08970 #2 · arxiv_oai · confidence 0.70 Daniel Neider
• 1507.05612 #3 · backfill · confidence 0.70 Daniel Neider
• 2606.03593 #7 · arxiv_oai · confidence 0.70 Daniel Neider
• 2605.28355 #5 · arxiv_oai · confidence 0.70 Daniel Neider
• 1302.2273 #4 · backfill · confidence 0.70 Daniel Neider

Frequent Coauthors

• P. Madhusudan 4 shared papers
• Pranav Garg 3 shared papers
• Abele M\u{a}lan 1 shared papers
• Aditya Shankar 1 shared papers
• Archan Misra 1 shared papers
• Biplav Srivastava 1 shared papers
• Christof L\"oding 1 shared papers
• Christof Loding 1 shared papers
• Corina Pasareanu 1 shared papers
• Daejun Park 1 shared papers
• Deepak D'Souza 1 shared papers
• Dulanga Weerakoon 1 shared papers
• Francesco Leofante 1 shared papers
• Gert Lek 1 shared papers
• Guy Van den Broeck 1 shared papers
• Ivan Gavran 1 shared papers
• Ivan Ruchkin 1 shared papers
• Jian-Jia Chen 1 shared papers
• Lydia Chen 1 shared papers
• Mustafa Yal\c{c}{\i}ner 1 shared papers