Optimistic and Topological Value Iteration for Simple Stochastic Games

von Azeem, Mugsit
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)