Mgr. Martin Kurečka

2025

• Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives

  AVNI Guy KUREČKA Martin MALLIK Kaushik NOVOTNÝ Petr SADHUKHAN Suman

  Article in Proceedings

  Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, year: 2025

• Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves

  KUREČKA Martin NEVYHOŠTĚNÝ Václav NOVOTNÝ Petr UNČOVSKÝ Vít

  Article in Proceedings

  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, year: 2025

2024

• Acceleration of Molecular Simulations by Parametric Time-Lagged tSNE Metadynamics

  HRADISKÁ Helena KUREČKA Martin BERÁNEK Jan TEDESCHI Guglielmo VIŠŇOVSKÝ Vladimír KŘENEK Aleš SPIWOK Vojtěch

  Article in Periodical

  The Journal of Physical Chemistry B, year: 2024, volume: 128, edition: 4, DOI

2023

• Monte Carlo Tree Search with Function Approximation for Risk-constrained Planning and Reinforcement Learning

  KUREČKA Martin

  Appeared in Conference without Proceedings

  Year: 2023, type: Appeared in Conference without Proceedings

• 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

• Collective Variable for Metadynamics Derived From AlphaFold Output

  SPIWOK Vojtěch KUREČKA Martin KŘENEK Aleš

  Article in Periodical

  FRONTIERS IN MOLECULAR BIOSCIENCES, year: 2022, volume: 2022, edition: 9, DOI

• Lower bound on the size of a quasirandom forcing set of permutations

  KUREČKA Martin

  Article in Periodical

  COMBINATORICS PROBABILITY & COMPUTING, year: 2022, volume: 31, edition: 2, DOI