Antonín Kučera
8 papers · 2018–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🐝 Cross-Pollinator (14) 🏃 Academic Marathon (7) 🧭 Keyword Pioneer 🌍 Conference Polyglot (3) 🌈 Renaissance Researcher (5)
🌉
Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(18)
🧬
Topic Evolution
🔥
Unstoppable
(5)
Conferences
IJCAI (5)
AAAI (2)
UAI (1)
Top co-authors
Keywords
strategy synthesis
(4)
markov decision process
(3)
multi-agent system
(2)
local stability
(2)
long-run average
(2)
markov chain
(1)
differentiable programming
(1)
graph optimization
(1)
randomized algorithm
(1)
sliding window
(1)
optimal solution
(1)
controller synthesis
(1)
finite-state controller
(1)
adversarial patrolling
(1)
long-run average objective
(1)
steady-state behavior
(1)
mean payoff optimization
(1)
local stability constraint
(1)
memoryless policy
(1)
patrolling strategies
(1)
Papers
Multiple Mean-Payoff Optimization Under Local Stability Constraints
AAAI 2025
Steady-State Strategy Synthesis for Swarms of Autonomous Agents
IJCAI 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
General Optimization Framework for Recurrent Reachability Objectives
IJCAI 2022
Regstar: efficient strategy synthesis for adversarial patrolling games
UAI 2021
Solving Patrolling Problems in the Internet Environment
IJCAI 2018