David Klaška

7 papers · 2021–2025 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (15) 🔥 Unstoppable · Bronze

Venues

IJCAI (3) AAAI (2) UAI (2)

Top co-authors

Vojtěch Řehák (7) Vít Musil (6) Antonín Kučera (6) Petr Novotný (2) Vojtěch Kůr (2) Tomáš Brázdil (1) Antonı́n Kučera (1) Vı́t Musil (1) Martin Kurečka (1)

Research topics

Machine Learning (5) Artificial Intelligence (4) Mathematics & Optimization (4) Core AI (4) Optimization (4) Optimization & Theory (4) Reinforcement Learning (2) Methods (2) Knowledge & Reasoning (1) Application Areas (1) Learning Types (1) Probability (1) Reasoning (1)

Keywords

strategy synthesis (3) markov decision process (2) local stability (2) long-run average (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 Mean Payoff Optimization for Systems of Periodic Service and Maintenance IJCAI 2023 Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems IJCAI 2023 General Optimization Framework for Recurrent Reachability Objectives IJCAI 2022 On-the-fly adaptation of patrolling strategies in changing environments UAI 2022 Regstar: efficient strategy synthesis for adversarial patrolling games UAI 2021