Michal Sustr

14 papers A* 1A 2C 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Experimental Evaluation of Camouflage Effectiveness Against Ground-Based Surveillance.
ICINCO (1)
Viktor Vitoul, Jan Ivan, Ladislav Potuzák, Michal Sustr, Barbora Hanková
2025 J jnl
LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4.
CoRR
Matej Kripner, Michal Sustr, Milan Straka
2025 J jnl
Meta-Learning in Self-Play Regret Minimization.
CoRR
David Sychrovský, Martin Schmid, Michal Sustr, Michael Bowling
2024 A* conf
Learning Not to Regret.
AAAI
David Sychrovsky, Michal Sustr, Elnaz Davoodi, Michael Bowling, Marc Lanctot, Martin Schmid
2023 — conf
Creating of Minefield Breaches with Artillery.
ICINCO (1)
Michal Svehlík, Michal Sustr, Ladislav Potuzák, Jaroslav Varecha, Jan Drábek
2023 — conf
Emergency Meteorological Data Preparation for Artillery Operations.
ICINCO (1)
Jan Ivan, Michal Sustr, David Sládek, Jaroslav Varecha, Jirí Gregor
2023 J jnl
Learning not to Regret.
CoRR
David Sychrovsky, Michal Sustr, Elnaz Davoodi, Marc Lanctot, Martin Schmid
2022 C conf
Prospects for the Use of Unmanned Ground Vehicles in Artillery Survey.
ICINCO
Jan Ivan, Michal Sustr, Ondrej Pekar, Ladislav Potuzák
2021 J jnl
Fast Algorithms for Poker Require Modelling it as a Sequential Bayesian Game.
CoRR
Vojtech Kovarík, David Milec, Michal Sustr, Dominik Seitz, Viliam Lisý
2021 A conf
Sound Algorithms in Imperfect Information Games.
AAMAS
Michal Sustr, Martin Schmid, Matej Moravcík, Neil Burch, Marc Lanctot, Michael Bowling
2020 J jnl
Sound Search in Imperfect Information Games.
CoRR
Michal Sustr, Martin Schmid, Matej Moravcík, Neil Burch, Marc Lanctot, Michael Bowling
2019 A conf
Monte Carlo Continual Resolving for Online Strategy Computation in Imperfect Information Games.
AAMAS
Michal Sustr, Vojtech Kovarík, Viliam Lisý
2018 J jnl
Monte Carlo Continual Resolving for Online Strategy Computation in Imperfect Information Games.
CoRR
Michal Sustr, Vojtech Kovarík, Viliam Lisý
2018 J jnl
Multi-platform Version of StarCraft: Brood War in a Docker Container: Technical Report.
CoRR
Michal Sustr, Jan Malý, Michal Certický