Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger. Optimistic and Topological Value Iteration for Simple Stochastic Games. In Ahmed Bouajjani, Lukás Holík, Zhilin Wu, editors, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Volume 13505 of Lecture Notes in Computer Science, pages 285-302, Springer, 2022. [doi]
Abstract is missing.