Vít Musil

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 25

Top Topics

Markov Decision Process

Integer Programming

Top Venues

Publications

Anselm Paulus, Georg Martius, Vít Musil
LPGD: A General Framework for Backpropagation through Embedded Optimization Layers. CoRR (2024)
David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. AAAI (2024)
David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. CoRR (2023)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Mean Payoff Optimization for Systems of Periodic Service and Maintenance. IJCAI (2023)
Subham Sekhar Sahoo, Anselm Paulus, Marin Vlastelica, Vít Musil, Volodymyr Kuleshov, Georg Martius
Backpropagation through Combinatorial Algorithms: Identity with Projection Works. ICLR (2023)
David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. IJCAI (2023)
David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. CoRR (2023)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Mean Payoff Optimization for Systems of Periodic Service and Maintenance. CoRR (2023)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. AAMAS (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. CoRR (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
General Optimization Framework for Recurrent Reachability Objectives. CoRR (2022)
Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
On-the-fly adaptation of patrolling strategies in changing environments. UAI (2022)
Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
On-the-fly Adaptation of Patrolling Strategies in Changing Environments. CoRR (2022)
Subham Sekhar Sahoo, Marin Vlastelica, Anselm Paulus, Vít Musil, Volodymyr Kuleshov, Georg Martius
Gradient Backpropagation Through Combinatorial Algorithms: Identity with Projection Works. CoRR (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
General Optimization Framework for Recurrent Reachability Objectives. IJCAI (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games. CoRR (2021)
Anselm Paulus, Michal Rolínek, Vít Musil, Brandon Amos, Georg Martius
CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints. CoRR (2021)
Anselm Paulus, Michal Rolinek, Vít Musil, Brandon Amos, Georg Martius
CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints. ICML (2021)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Regstar: efficient strategy synthesis for adversarial patrolling games. UAI (2021)
Michal Rolínek, Paul Swoboda, Dominik Zietlow, Anselm Paulus, Vít Musil, Georg Martius
Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers. CoRR (2020)
Michal Rolínek, Vít Musil, Anselm Paulus, Marin Vlastelica P., Claudio Michaelis, Georg Martius
Optimizing Rank-Based Metrics With Blackbox Differentiation. CVPR (2020)
Michal Rolínek, Paul Swoboda, Dominik Zietlow, Anselm Paulus, Vít Musil, Georg Martius
Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers. ECCV (28) (2020)
Marin Vlastelica Pogancic, Anselm Paulus, Vít Musil, Georg Martius, Michal Rolinek
Differentiation of Blackbox Combinatorial Solvers. ICLR (2020)
Marin Vlastelica P., Anselm Paulus, Vít Musil, Georg Martius, Michal Rolínek
Differentiation of Blackbox Combinatorial Solvers. CoRR (2019)
Michal Rolínek, Vít Musil, Anselm Paulus, Marin Vlastelica P., Claudio Michaelis, Georg Martius
Optimizing Rank-based Metrics with Blackbox Differentiation. CoRR (2019)