Daniel Neider

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

论文数

3

总引用数

60

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
3
论文
60
总引用数
20
篇均引用
🏆 最高被引论文
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
32 次引用 · 2016
📈 最高产年份: 2016 (1 论文)
🤝 主要合作者: 7
🏛 所属机构: University of California, Los Angeles, Max Planck Institute for Software Systems

代表论文

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

主要合作者

NFNathanaël Fijalkow1 篇合著论文ASAnne-Kathrin Schmuck1 篇合著论文RRRitam Raha1 篇合著论文UTUfuk Topcu1 篇合著论文SSStanly Samuel1 篇合著论文KMKaushik Mallik1 篇合著论文RRRajarshi Roy1 篇合著论文
尚未生成