Daniel Neider
9 papers
· 2020–2026
· 3 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Academic Marathon
(5)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(21)
π
Interdisciplinary Bridge
π
Cross-Pollinator
(11)
π§¬
Topic Evolution
π₯
Unstoppable
(6)
ποΈ
Keyword Collector
(51)
Conferences
AAAI (6)
IJCAI (2)
CLEAR (1)
Top co-authors
Keywords
reinforcement learning
(3)
temporal logic
(3)
formal verification
(2)
policy learning
(2)
deterministic finite automaton
(2)
automata learning
(1)
computational complexity
(1)
adversarial robustness
(1)
autonomous vehicle
(1)
markov decision process
(1)
constraint satisfaction
(1)
reward function
(1)
optimal policy
(1)
stochastic process
(1)
convergence guarantee
(1)
model interpretability
(1)
algorithm analysis
(1)
neural network verification
(1)
passive learning
(1)
knowledge base
(1)