Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth

Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, Jakub Svoboda. Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. In Nikhil Bansal 0001, Viswanath Nagarajan, editors, Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023. pages 4590-4605, SIAM, 2023. [doi]

Abstract

Abstract is missing.