RNDr. Vít Musil, Ph.D.

2024

• LPGD: A General Framework for Backpropagation through Embedded Optimization Layers

  PAULUS Anselm MARTIUS Georg MUSIL Vít

  Article in Proceedings

  Proceedings of Machine Learning Research, year: 2024

• Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes

  KLAŠKA David KUČERA Antonín KŮR Vojtěch MUSIL Vít ŘEHÁK Vojtěch

  Article in Proceedings

  Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), year: 2024

2023

• Backpropagation through combinatorial algorithms: identity with projection works

  SUBHAM SEKHAR Sahoo PAULUS Anselm VLASTELICA Marin MUSIL Vít KULESHOV Volodymyr MARTIUS Georg

  Appeared in Conference without Proceedings

  Year: 2023, type: Appeared in Conference without Proceedings

• Mean Payoff Optimization for Systems of Periodic Service and Maintenance

  KLAŠKA David KUČERA Antonín MUSIL Vít ŘEHÁK Vojtěch

  Article in Proceedings

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

• Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator

  CIANCHI Andrea MUSIL Vít PICK Luboš

  Article in Periodical

  Journal of Differential Equations, year: 2023, volume: 359, edition: 1, DOI

• Optimality problems in Orlicz spaces

  MUSIL Vít PICK Luboš TAKÁČ Jakub

  Article in Periodical

  Advances in Mathematics, year: 2023, volume: 432, edition: November 1, DOI

• Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

  KLAŠKA David KUČERA Antonín KUREČKA Martin MUSIL Vít NOVOTNÝ Petr ŘEHÁK Vojtěch

  Article in Proceedings

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

2022

• General Optimization Framework for Recurrent Reachability Objectives

  KLAŠKA David KUČERA Antonín MUSIL Vít ŘEHÁK Vojtěch

  Article in Proceedings

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

• Minimizing Expected Intrusion Detection Time in Adversarial Patrolling

  KLAŠKA David KUČERA Antonín MUSIL Vít ŘEHÁK Vojtěch

  Article in Proceedings

  21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022., year: 2022

• On the Existence of Extremals for Moser-Type Inequalities in Gauss Space

  CIANCHI Andrea MUSIL Vít PICK Luboš

  Article in Periodical

  INTERNATIONAL MATHEMATICS RESEARCH NOTICES, year: 2022, volume: 2022, edition: 2, DOI