Michal Sustr

According to our database, Michal Sustr authored at least 12 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4.

Matej Kripner, Michal Sustr, Milan Straka

CoRR, July, 2025

Meta-Learning in Self-Play Regret Minimization.

David Sychrovský, Martin Schmid, Michal Sustr, Michael Bowling

CoRR, April, 2025

2024

Learning Not to Regret.

David Sychrovsky, Michal Sustr, Elnaz Davoodi, Michael Bowling, Marc Lanctot, Martin Schmid

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Learning not to Regret.

David Sychrovsky, Michal Sustr, Elnaz Davoodi, Marc Lanctot, Martin Schmid

CoRR, 2023

Creating of Minefield Breaches with Artillery.

Michal Svehlík, Michal Sustr, Ladislav Potuzák, Jaroslav Varecha, Jan Drábek

Proceedings of the 20th International Conference on Informatics in Control, 2023

Emergency Meteorological Data Preparation for Artillery Operations.

Jan Ivan, Michal Sustr, David Sládek, Jaroslav Varecha, Jirí Gregor

Proceedings of the 20th International Conference on Informatics in Control, 2023

2022

Prospects for the Use of Unmanned Ground Vehicles in Artillery Survey.

Jan Ivan, Michal Sustr, Ondrej Pekar, Ladislav Potuzák

Proceedings of the 19th International Conference on Informatics in Control, 2022

2021

Fast Algorithms for Poker Require Modelling it as a Sequential Bayesian Game.

Vojtech Kovarík, David Milec, Michal Sustr, Dominik Seitz, Viliam Lisý

CoRR, 2021

Sound Algorithms in Imperfect Information Games.

Michal Sustr, Martin Schmid, Matej Moravcík, Neil Burch, Marc Lanctot, Michael Bowling

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Sound Search in Imperfect Information Games.

Michal Sustr, Martin Schmid, Matej Moravcík, Neil Burch, Marc Lanctot, Michael Bowling

CoRR, 2020

2019

Monte Carlo Continual Resolving for Online Strategy Computation in Imperfect Information Games.

Michal Sustr, Vojtech Kovarík, Viliam Lisý

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Multi-platform Version of StarCraft: Brood War in a Docker Container: Technical Report.

Michal Sustr, Jan Malý, Michal Certický

CoRR, 2018