Antonín Kučera
8 papers · 2018–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 ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (17) 🧬 Topic Evolution
🔥
Unstoppable · Bronze
Top co-authors
Research topics
Keywords
strategy synthesis
(4)
markov decision process
(3)
long-run average
(2)
multi-agent system
(2)
local stability
(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
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
Regstar: efficient strategy synthesis for adversarial patrolling games
UAI 2021
Solving Patrolling Problems in the Internet Environment
IJCAI 2018