Memoryless Strategies in Stochastic Reachability Games

Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke. Memoryless Strategies in Stochastic Reachability Games. In Stefan Kiefer, Jan Kretínský, Antonín Kucera 0001, editors, Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday. Volume 14660 of Lecture Notes in Computer Science, pages 225-242, Springer, 2024. [doi]

Abstract

Abstract is missing.