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í: 23
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
-
Maximal Non-compactness of Sobolev Embeddings
Journal of Geometric Analysis, rok: 2021, ročník: 31, vydání: 9, DOI
-
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), rok: 2021
-
Sharp exponential inequalities for the Ornstein-Uhlenbeck operator
Journal of Functional Analysis, rok: 2021, ročník: 281, vydání: 11, DOI
2020
-
Boundedness of classical operators on rearrangement-invariant spaces
Journal of Functional Analysis, rok: 2020, ročník: 278, vydání: 4, DOI
-
Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), rok: 2020