Musil, Vít

12 publications

AAAI 2025 Multiple Mean-Payoff Optimization Under Local Stability Constraints David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák

AAAI 2024 Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák

ICLR 2023 Backpropagation Through Combinatorial Algorithms: Identity with Projection Works Subham Sekhar Sahoo, Anselm Paulus, Marin Vlastelica, Vít Musil, Volodymyr Kuleshov, Georg Martius

ICMLW 2023 Lagrangian Proximal Gradient Descent for Learning Convex Optimization Models Anselm Paulus, Vít Musil, Georg Martius

IJCAI 2023 Mean Payoff Optimization for Systems of Periodic Service and Maintenance David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

IJCAI 2023 Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák

IJCAI 2022 General Optimization Framework for Recurrent Reachability Objectives David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

ICML 2021 CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints Anselm Paulus, Michal Rolinek, Vit Musil, Brandon Amos, Georg Martius

UAI 2021 Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games David Klaška, Antonín Kučera, Vít Musil, Vojtěch Řehák

ECCV 2020 Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers Michal Rolínek, Paul Swoboda, Dominik Zietlow, Anselm Paulus, Vít Musil, Georg Martius

ICLR 2020 Differentiation of Blackbox Combinatorial Solvers Marin Vlastelica, Anselm Paulus, Vít Musil, Georg Martius, Michal Rolínek

NeurIPSW 2020 Fit the Right NP-Hard Problem: End-to-End Learning of Integer Programming Constraints Anselm Paulus, Michal Rolinek, Vít Musil, Brandon Amos, Georg Martius