- Strategy Complexity of Buchi Objectives in Concurrent Stochastic Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Tue 30 April 2024
- Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games Mohan Dantam Richard Mayr Thu 13 July 2023
- Strategy Complexity of Reachability in Countable Stochastic 2-Player Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Sat 29 October 2022
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A