LiVe Lab: Value Iteration for Stochastic Games

2023	Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives Jan Křetínský, Tobias Meggendorfer, Maximilian Weininger 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023
2022	Value iteration for simple stochastic games: Stopping criterion and learning algorithm Julia Eisentraut, Edon Kelmendi, Jan Křetínský, Maximilian Weininger
	Comparison of algorithms for simple stochastic games Jan Křetínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
	Optimistic and Topological Value Iteration for Simple Stochastic Games Muqsit Azeem, Alexandros Evangelidis, Jan Křetínský, Alexander Slivinskiy, Maximilian Weininger Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Value Iteration for Stochastic Games