David Klaška
7 papers · 2021–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 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)
Papers
Multiple Mean-Payoff Optimization Under Local Stability Constraints
AAAI 2025
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
AAAI 2024
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
IJCAI 2023
Mean Payoff Optimization for Systems of Periodic Service and Maintenance
IJCAI 2023
On-the-fly adaptation of patrolling strategies in changing environments
UAI 2022
General Optimization Framework for Recurrent Reachability Objectives
IJCAI 2022
Regstar: efficient strategy synthesis for adversarial patrolling games
UAI 2021