Vojtěch Řehák
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 (16) 🧬 Topic Evolution
🔥
Unstoppable · Bronze
Top co-authors
Research topics
Keywords
strategy synthesis
(3)
local stability
(2)
long-run average
(2)
multi-agent system
(2)
markov decision process
(2)
patrolling strategies
(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
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
Solving Patrolling Problems in the Internet Environment
IJCAI 2018