Vít Musil

36 papers A* 10A 3Journal 21Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
LSP-DETR: Efficient and Scalable Nuclei Segmentation in Whole Slide Images.
CoRR
Matej Pekár, Vít Musil, Rudolf Nenutil, Petr Holub, Tomás Brázdil
2026 J jnl
SoftJAX & SoftTorch: Empowering Automatic Differentiation Libraries with Informative Gradients.
CoRR
Anselm Paulus, Andreas René Geist, Vít Musil, Sebastian Hoffmann, Onur Beker, Georg Martius
2025 — conf
Beyond Occlusion: In Search for Near Real-Time Explainability of CNN-Based Prostate Cancer Classification.
ISBI
Martin Krebs, Jan Obdrzálek, Vít Musil, Tomás Brázdil
2025 J jnl
Beyond Occlusion: In Search for Near Real-Time Explainability of CNN-Based Prostate Cancer Classification.
CoRR
Martin Krebs, Jan Obdrzálek, Vít Musil, Tomás Brázdil
2025 J jnl
Explaining Digital Pathology Models via Clustering Activations.
CoRR
Adam Bajger, Jan Obdrzálek, Vojtech Kur, Rudolf Nenutil, Petr Holub, Vít Musil, Tomás Brázdil
2025 J jnl
Hard Contacts with Soft Gradients: Refining Differentiable Simulators for Learning and Control.
CoRR
Anselm Paulus, Andreas René Geist, Pierre Schumacher, Vít Musil, Georg Martius
2025 J jnl
LLEXICORP: End-user Explainability of Convolutional Neural Networks.
CoRR
Vojtech Kur, Adam Bajger, Adam Kukucka, Marek Hradil, Vít Musil, Tomás Brázdil
2025 J jnl
Memory Assignment for Finite-Memory Strategies in Adversarial Patrolling Games.
CoRR
Vojtech Kur, Vít Musil, Vojtech Rehák
2025 A* conf
Multiple Mean-Payoff Optimization Under Local Stability Constraints.
AAAI
David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák
2024 A* conf
LPGD: A General Framework for Backpropagation through Embedded Optimization Layers.
ICML
Anselm Paulus, Georg Martius, Vít Musil
2024 J jnl
LPGD: A General Framework for Backpropagation through Embedded Optimization Layers.
CoRR
Anselm Paulus, Georg Martius, Vít Musil
2024 J jnl
Multiple Mean-Payoff Optimization under Local Stability Constraints.
CoRR
David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák
2024 A* conf
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes.
AAAI
David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák
2023 A* conf
Backpropagation through Combinatorial Algorithms: Identity with Projection Works.
ICLR
Subham Sekhar Sahoo, Anselm Paulus, Marin Vlastelica, Vít Musil, Volodymyr Kuleshov, Georg Martius
2023 A* conf
Mean Payoff Optimization for Systems of Periodic Service and Maintenance.
IJCAI
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
2023 J jnl
Mean Payoff Optimization for Systems of Periodic Service and Maintenance.
CoRR
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
2023 J jnl
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes.
CoRR
David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák
2023 A* conf
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems.
IJCAI
David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
2023 J jnl
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems.
CoRR
David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
2022 A* conf
General Optimization Framework for Recurrent Reachability Objectives.
IJCAI
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
2022 J jnl
General Optimization Framework for Recurrent Reachability Objectives.
CoRR
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
2022 J jnl
Gradient Backpropagation Through Combinatorial Algorithms: Identity with Projection Works.
CoRR
Subham Sekhar Sahoo, Marin Vlastelica, Anselm Paulus, Vít Musil, Volodymyr Kuleshov, Georg Martius
2022 A conf
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling.
AAMAS
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
2022 J jnl
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling.
CoRR
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
2022 J jnl
On-the-fly Adaptation of Patrolling Strategies in Changing Environments.
CoRR
Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
2022 A conf
On-the-fly adaptation of patrolling strategies in changing environments.
UAI
Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
2021 A* conf
CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints.
ICML
Anselm Paulus, Michal Rolínek, Vít Musil, Brandon Amos, Georg Martius
2021 J jnl
CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints.
CoRR
Anselm Paulus, Michal Rolínek, Vít Musil, Brandon Amos, Georg Martius
2021 J jnl
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games.
CoRR
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
2021 A conf
Regstar: efficient strategy synthesis for adversarial patrolling games.
UAI
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
2020 — conf
Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers.
ECCV (28)
Michal Rolínek, Paul Swoboda, Dominik Zietlow, Anselm Paulus, Vít Musil, Georg Martius
2020 J jnl
Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers.
CoRR
Michal Rolínek, Paul Swoboda, Dominik Zietlow, Anselm Paulus, Vít Musil, Georg Martius
2020 A* conf
Differentiation of Blackbox Combinatorial Solvers.
ICLR
Marin Vlastelica Pogancic, Anselm Paulus, Vít Musil, Georg Martius, Michal Rolínek
2020 A* conf
Optimizing Rank-Based Metrics With Blackbox Differentiation.
CVPR
Michal Rolínek, Vít Musil, Anselm Paulus, Marin Vlastelica P., Claudio Michaelis, Georg Martius
2019 J jnl
Differentiation of Blackbox Combinatorial Solvers.
CoRR
Marin Vlastelica P., Anselm Paulus, Vít Musil, Georg Martius, Michal Rolínek
2019 J jnl
Optimizing Rank-based Metrics with Blackbox Differentiation.
CoRR
Michal Rolínek, Vít Musil, Anselm Paulus, Marin Vlastelica P., Claudio Michaelis, Georg Martius