Đorđe Žikelić
12 papers
· 2021–2025
· 3 conferences
· across top CS/AI conferences
Achievements
🐣
Hot Topic Early Bird
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
🌈
Renaissance Researcher
(8)
🗺️
Taxonomy Completionist
(29)
🌉
Interdisciplinary Bridge
🌍
Conference Polyglot
(3)
🏆
Keyword Champion
(2)
💎
Century Club
(12)
🔥
Unstoppable
(5)
🗃️
Keyword Collector
(66)
Conferences
AAAI (7)
IJCAI (3)
NIPS (2)
Top co-authors
Research topics
Keywords
formal verification
(6)
reinforcement learning
(3)
stochastic control
(3)
reach-avoid specification
(2)
control policy
(2)
quantized neural network
(2)
neural network
(2)
compositional learning
(1)
posterior sampling
(1)
adversarial robustness
(1)
probability distribution
(1)
lyapunov function
(1)
linear programming
(1)
complexity analysis
(1)
markov decision process
(1)
probabilistic inference
(1)
neural network verification
(1)
stochastic game
(1)
average reward
(1)
stochastic system
(1)