Daniel Neider

University of California, Los Angeles, Max Planck Institute for Software Systems

Papers

3

Total Citations

60

H-Index

3

About

No biography available yet.

Research Focus

Artificial intelligence3 · 60 citations
Computer science3 · 60 citations
Theoretical computer science3 · 60 citations
Algorithm2 · 57 citations
State (computer science)2 · 35 citations
Büchi automaton1 · 32 citations
Discrete mathematics1 · 32 citations
Finite-state machine1 · 32 citations
Counterexample1 · 32 citations
Automaton1 · 32 citations
Deterministic automaton1 · 32 citations
Learning automata1 · 32 citations

Key Achievements

3
H-Index
3
Papers
60
Total Citations
20
Avg Citations/Paper
🏆 Most Cited Paper
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
32 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: University of California, Los Angeles, Max Planck Institute for Software Systems

Top Papers

  1. 1
    An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
    32 citations · 2016
  2. 2
    Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
    25 citations · 2022
  3. 3
    Resilient abstraction-based controller design
    3 citations · 2020

Key Collaborators

NFNathanaël Fijalkow1 shared papersASAnne-Kathrin Schmuck1 shared papersRRRitam Raha1 shared papersUTUfuk Topcu1 shared papersSSStanly Samuel1 shared papersKMKaushik Mallik1 shared papersRRRajarshi Roy1 shared papers
Not generated yet