Vít Musil

According to our database, Vít Musil authored at least 13 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Mean Payoff Optimization for Systems of Periodic Service and Maintenance.

David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Backpropagation through Combinatorial Algorithms: Identity with Projection Works.

Subham Sekhar Sahoo, Anselm Paulus, Marin Vlastelica, Vít Musil, Volodymyr Kuleshov, Georg Martius

Proceedings of the Eleventh International Conference on Learning Representations, 2023

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

On-the-fly adaptation of patrolling strategies in changing environments.

Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák

Proceedings of the Uncertainty in Artificial Intelligence, 2022

General Optimization Framework for Recurrent Reachability Objectives.

David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Minimizing Expected Intrusion Detection Time in Adversarial Patrolling.

David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Regstar: efficient strategy synthesis for adversarial patrolling games.

David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints.

Anselm Paulus, Michal Rolínek, Vít Musil, Brandon Amos, Georg Martius

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

Differentiation of Blackbox Combinatorial Solvers.

Marin Vlastelica Pogancic, Anselm Paulus, Vít Musil, Georg Martius, Michal Rolínek

Proceedings of the 8th International Conference on Learning Representations, 2020

Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers.

Michal Rolínek, Paul Swoboda, Dominik Zietlow, Anselm Paulus, Vít Musil, Georg Martius

Proceedings of the Computer Vision - ECCV 2020, 2020

Optimizing Rank-Based Metrics With Blackbox Differentiation.

Michal Rolínek, Vít Musil, Anselm Paulus, Marin Vlastelica P., Claudio Michaelis, Georg Martius

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020