Items where Author is "Svoboda, Jakub"

Chatterjee, Krishnendu and Meggendorfer, Tobias and Saona, Raimundo and Svoboda, Jakub (2023) Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. In: 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023 :. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms . Curran Associates, Inc., pp. 4590-4605. ISBN 9781611977554