RNDr. Vít Musil, Ph.D.
odborný asistent – Katedra teorie programování
kancelář: C415
Botanická 554/68a
602 00 Brno
telefon: | 549 49 7026 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 20
2024
-
LPGD: A General Framework for Backpropagation through Embedded Optimization Layers
Proceedings of Machine Learning Research, rok: 2024
-
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), rok: 2024
2023
-
Backpropagation through combinatorial algorithms: identity with projection works
Rok: 2023, druh: Další prezentace na konferencích
-
Mean Payoff Optimization for Systems of Periodic Service and Maintenance
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, rok: 2023
-
Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator
Journal of Differential Equations, rok: 2023, ročník: 359, vydání: 1, DOI
-
Optimality problems in Orlicz spaces
Advances in Mathematics, rok: 2023, ročník: 432, vydání: November 1, DOI
-
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, rok: 2023
2022
-
General Optimization Framework for Recurrent Reachability Objectives
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, rok: 2022
-
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022., rok: 2022
-
On the Existence of Extremals for Moser-Type Inequalities in Gauss Space
INTERNATIONAL MATHEMATICS RESEARCH NOTICES, rok: 2022, ročník: 2022, vydání: 2, DOI