David Klaška
7 papers
· 2021–2025
· 3 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🐝
Cross-Pollinator
(14)
🌈
Renaissance Researcher
(5)
🌍
Conference Polyglot
(3)
🗺️
Taxonomy Completionist
(16)
🧭
Keyword Pioneer
🔥
Unstoppable
(5)
Conferences
IJCAI (3)
AAAI (2)
UAI (2)
Top co-authors
Keywords
strategy synthesis
(3)
local stability
(2)
long-run average
(2)
markov decision process
(2)
markov chain
(1)
differentiable programming
(1)
graph optimization
(1)
strategy adaptation
(1)
online algorithm
(1)
randomized algorithm
(1)
sliding window
(1)
controller synthesis
(1)
finite-state controller
(1)
adversarial patrolling
(1)
risk mitigation
(1)
multi-agent system
(1)
long-run average objective
(1)
steady-state behavior
(1)
mean payoff optimization
(1)
local stability constraint
(1)