Optimizing Rank-Based Metrics With Blackbox Differentiation. - Michal Rolínek; Vít Musil; Anselm Paulus; Marin Vlastelica P.; Claudio Michaelis; Georg Martius (CVPR, 2020)

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

Differentiation of Blackbox Combinatorial Solvers. - Marin Vlastelica Pogancic; Anselm Paulus; Vít Musil; Georg Martius; Michal Rolínek (ICLR, 2020)

CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints. - Anselm Paulus; Michal Rolínek; Vít Musil; Brandon Amos; Georg Martius (ICML, 2021)

Regstar: efficient strategy synthesis for adversarial patrolling games. - David Klaska; Antonín Kucera 001; Vít Musil; Vojtech Rehák (UAI, 2021)

Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. - David Klaska; Antonín Kucera 001; Vít Musil; Vojtech Rehák (AAMAS, 2022)

General Optimization Framework for Recurrent Reachability Objectives. - David Klaska; Antonín Kucera 001; Vít Musil; Vojtech Rehák (IJCAI, 2022)

On-the-fly adaptation of patrolling strategies in changing environments. - Tomás Brázdil; David Klaska; Antonín Kucera 001; Vít Musil; Petr Novotný 001; Vojtech Rehák (UAI, 2022)

Gradient Backpropagation Through Combinatorial Algorithms: Identity with Projection Works. - Subham Sekhar Sahoo; Marin Vlastelica; Anselm Paulus; Vít Musil; Volodymyr Kuleshov; Georg Martius (CoRR, 2022)

Backpropagation through Combinatorial Algorithms: Identity with Projection Works. - Subham Sekhar Sahoo; Anselm Paulus; Marin Vlastelica; Vít Musil; Volodymyr Kuleshov; Georg Martius (ICLR, 2023)

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

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

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

LPGD: A General Framework for Backpropagation through Embedded Optimization Layers. - Anselm Paulus; Georg Martius; Vít Musil (ICML, 2024)

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

Beyond Occlusion: In Search for Near Real-Time Explainability of CNN-Based Prostate Cancer Classification. - Martin Krebs; Jan Obdrzálek; Vít Musil; Tomás Brázdil (ISBI, 2025)

Memory Assignment for Finite-Memory Strategies in Adversarial Patrolling Games. - Vojtech Kur; Vít Musil; Vojtech Rehák (CoRR, 2025)

Hard Contacts with Soft Gradients: Refining Differentiable Simulators for Learning and Control. - Anselm Paulus; Andreas René Geist; Pierre Schumacher; Vít Musil; Georg Martius (CoRR, 2025)