Vojtěch Řehák
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
(17)
🧬
Topic Evolution
🔥
Unstoppable
(5)
Conferences
IJCAI (4)
AAAI (2)
UAI (2)
Top co-authors
Keywords
strategy synthesis
(3)
long-run average
(2)
multi-agent system
(2)
markov decision process
(2)
patrolling strategies
(2)
local stability
(2)
markov chain
(1)
differentiable programming
(1)
graph optimization
(1)
strategy adaptation
(1)
online algorithm
(1)
randomized algorithm
(1)
sliding window
(1)
optimal solution
(1)
controller synthesis
(1)
finite-state controller
(1)
adversarial patrolling
(1)
risk mitigation
(1)
long-run average objective
(1)
steady-state behavior
(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
Solving Patrolling Problems in the Internet Environment
IJCAI 2018