Vít Musil
11 papers · 2020–2025 · 7 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🐝 Cross-Pollinator (14) 🌍 Conference Polyglot (7) 🏃 Academic Marathon (5) 🗺️ Taxonomy Completionist (16) 🧭 Keyword Pioneer
🌈
Renaissance Researcher
(6)
🌉
Interdisciplinary Bridge
🔥
Unstoppable
(6)
💎
Century Club
(11)
Conferences
IJCAI (3)
AAAI (2)
ICLR (2)
CVPR (1)
ECCV (1)
ICML (1)
UAI (1)
Top co-authors
Keywords
strategy synthesis
(3)
local stability
(2)
long-run average
(2)
markov decision process
(2)
image retrieval
(1)
object detection
(1)
policy optimization
(1)
markov chain
(1)
feature extraction
(1)
differentiable programming
(1)
integer programming
(1)
graph optimization
(1)
keypoint matching
(1)
randomized algorithm
(1)
gradient descent
(1)
sliding window
(1)
rank-based metric
(1)
controller synthesis
(1)
finite-state controller
(1)
robot navigation
(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
Backpropagation through Combinatorial Algorithms: Identity with Projection Works
ICLR 2023
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
CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints
ICML 2021
Regstar: efficient strategy synthesis for adversarial patrolling games
UAI 2021
Optimizing Rank-Based Metrics With Blackbox Differentiation
CVPR 2020
Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers
ECCV 2020
Differentiation of Blackbox Combinatorial Solvers
ICLR 2020