RNDr. Vít Musil, Ph.D.
odborný asistent – Katedra teorie programování
kancelář: C436
Botanická 554/68a
602 00 Brno
telefon: | 549 49 7026 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 14
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
-
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
-
On-the-fly Adaptation of Patrolling Strategies in Changing Environments
Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, rok: 2022
2021
-
CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints
INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139, rok: 2021