Mgr. Martin Kurečka
Katedra teorie programování
kancelář: C515
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 1890 |
|---|---|
| e‑mail: |
Počet publikací: 7
2025
-
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, rok: 2025
-
Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves
Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence and Thirty-Seventh Conference on Innovative Applications of Artificial Intelligence and Fifteenth Symposium on Educational Advances in Artificial Intelligence, rok: 2025
2024
-
Acceleration of Molecular Simulations by Parametric Time-Lagged tSNE Metadynamics
The Journal of Physical Chemistry B, rok: 2024, ročník: 128, vydání: 4, DOI
2023
-
Monte Carlo Tree Search with Function Approximation for Risk-constrained Planning and Reinforcement Learning
Rok: 2023, druh: Další prezentace na konferencích
-
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
-
Collective Variable for Metadynamics Derived From AlphaFold Output
FRONTIERS IN MOLECULAR BIOSCIENCES, rok: 2022, ročník: 2022, vydání: 9, DOI
-
Lower bound on the size of a quasirandom forcing set of permutations
COMBINATORICS PROBABILITY & COMPUTING, rok: 2022, ročník: 31, vydání: 2, DOI