Daniel Neider

Identifiers

• name variant Daniel Neider 0.60 · backfill

Papers (8)

1. Evaluating Counterfactual Explanation Methods on Incomplete Inputs cs.AI · 2026 · author #2
2. Learning Linear Temporal Properties cs.LO · 2018 · author #1
3. Horn-ICE Learning for Synthesizing Invariants and Contracts cs.LO · 2017 · author #5
4. Invariant Synthesis for Incomplete Verification Engines cs.PL · 2017 · author #1
5. An Automaton Learning Approach to Solving Safety Games over Infinite Graphs cs.FL · 2016 · author #1
6. Robust Linear Temporal Logic cs.LO · 2015 · author #2
7. Abstract Learning Frameworks for Synthesis cs.LO · 2015 · author #3
8. Learning Universally Quantified Invariants of Linear Data Structures cs.PL · 2013 · author #4

Mentions

• 1302.2273 #4 · backfill · confidence 0.70 Daniel Neider

Frequent Coauthors

• P. Madhusudan 4 shared papers
• Pranav Garg 3 shared papers
• Christof L\"oding 1 shared papers
• Christof Loding 1 shared papers
• Daejun Park 1 shared papers
• Deepak D'Souza 1 shared papers
• Francesco Leofante 1 shared papers
• Ivan Gavran 1 shared papers
• Mustafa Yal\c{c}{\i}ner 1 shared papers
• Paulo Tabuada 1 shared papers
• P. Ezudheen 1 shared papers
• Shambwaditya Saha 1 shared papers
• Ufuk Topcu 1 shared papers