| 2025 | AAAI | Multiple Mean-Payoff Optimization Under Local Stability Constraints. | David Klaska, Antonn Kucera, Vojtech Kur, Vt Musil, Vojtech Rehk |
| 2024 | AAAI | Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. | David Klaska, Antonn Kucera, Vojtech Kur, Vt Musil, Vojtech Rehk |
| 2024 | ICML | LPGD: A General Framework for Backpropagation through Embedded Optimization Layers. | Anselm Paulus, Georg Martius, Vt Musil |
| 2023 | ICLR | Backpropagation through Combinatorial Algorithms: Identity with Projection Works. | Subham Sekhar Sahoo, Anselm Paulus, Marin Vlastelica, Vt Musil, Volodymyr Kuleshov, Georg Martius |
| 2023 | IJCAI | Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. | David Klaska, Antonn Kucera, Martin Kurecka, Vt Musil, Petr Novotn, Vojtech Rehk |
| 2023 | IJCAI | Mean Payoff Optimization for Systems of Periodic Service and Maintenance. | David Klaska, Antonn Kucera, Vt Musil, Vojtech Rehk |
| 2022 | IJCAI | General Optimization Framework for Recurrent Reachability Objectives. | David Klaska, Antonn Kucera, Vt Musil, Vojtech Rehk |
| 2022 | UAI | On-the-fly adaptation of patrolling strategies in changing environments. | Toms Brzdil, David Klaska, Antonn Kucera, Vt Musil, Petr Novotn, Vojtech Rehk |
| 2021 | ICML | CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints. | Anselm Paulus, Michal Rolnek, Vt Musil, Brandon Amos, Georg Martius |
| 2021 | UAI | Regstar: efficient strategy synthesis for adversarial patrolling games. | David Klaska, Antonn Kucera, Vt Musil, Vojtech Rehk |
| 2020 | CVPR | Optimizing Rank-Based Metrics With Blackbox Differentiation. | Michal Rolnek, Vt Musil, Anselm Paulus, Marin Vlastelica P., Claudio Michaelis, Georg Martius |
| 2020 | ECCV | Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers. | Michal Rolnek, Paul Swoboda, Dominik Zietlow, Anselm Paulus, Vt Musil, Georg Martius |
| 2020 | ICLR | Differentiation of Blackbox Combinatorial Solvers. | Marin Vlastelica Pogancic, Anselm Paulus, Vt Musil, Georg Martius, Michal Rolnek |