Vít Musil

11 papers · 2020–2025 · 7 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 ↓

+3 more ↓

🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (18) 🌍 Conference Polyglot · Silver 🗃️ Keyword Collector (50)

🔥 Unstoppable · Bronze 🌈 Renaissance Researcher (5) 💎 Century Club · Bronze

Venues

IJCAI (3) AAAI (2) ICLR (2) CVPR (1) ECCV (1) ICML (1) UAI (1)

Top co-authors

Vojtěch Řehák (6) Antonín Kučera (6) David Klaška (6) Anselm Paulus (5) Georg Martius (5) Michal Rolinek (4) Marin Vlastelica (2) Vojtěch Kůr (2) Dominik Zietlow (1) Brandon Amos (1)

Research topics

Machine Learning (8) Optimization & Theory (8) Artificial Intelligence (4) Core AI (4) Mathematics & Optimization (3) Optimization (3) Computer Vision (2) Reinforcement Learning (2) Analysis (2) Methods (2) Deep Learning (1) Knowledge & Reasoning (1) Learning Types (1) Probability (1) Reasoning (1)

Keywords

strategy synthesis (3) long-run average (2) local stability (2) differentiable programming (2) image retrieval (2) markov decision process (2) integer programming (1) feature extraction (1) policy optimization (1) gradient descent (1) markov chain (1) sliding window (1) black-box optimization (1) graph optimization (1) traveling salesman problem (1) object detection (1) randomized algorithm (1) rank-based metric (1) keypoint matching (1) graph matching (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 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 CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints ICML 2021 Regstar: efficient strategy synthesis for adversarial patrolling games UAI 2021 Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers ECCV 2020 Differentiation of Blackbox Combinatorial Solvers ICLR 2020 Optimizing Rank-Based Metrics With Blackbox Differentiation CVPR 2020