Comparison of algorithms for simple stochastic games
Křetínský, Jan, Ramneantu, Emanuel, Slivinskiy, Alexander, Weininger, Maximilian
Published in Information and computation (01.11.2022)
Published in Information and computation (01.11.2022)
Get full text
Journal Article
Comparison of Algorithms for Simple Stochastic Games
Křetínský, Jan, Ramneantu, Emanuel, Slivinskiy, Alexander, Weininger, Maximilian
Published in Electronic proceedings in theoretical computer science (20.09.2020)
Published in Electronic proceedings in theoretical computer science (20.09.2020)
Get full text
Journal Article
Comparison of Algorithms for Simple Stochastic Games
Křetínský, Jan, Ramneantu, Emanuel, Slivinskiy, Alexander, Weininger, Maximilian
Published in arXiv.org (23.09.2020)
Published in arXiv.org (23.09.2020)
Get full text
Paper
Journal Article
Comparison of Algorithms for Simple Stochastic Games (Full Version)
Kretinsky, Jan, Ramneantu, Emanuel, Slivinskiy, Alexander, Weininger, Maximilian
Published in arXiv.org (25.08.2020)
Published in arXiv.org (25.08.2020)
Get full text
Paper
Journal Article
Automata Tutor v3
D'Antoni, Loris, Helfrich, Martin, Kretinsky, Jan, Ramneantu, Emanuel, Weininger, Maximilian
Published in arXiv.org (14.05.2020)
Published in arXiv.org (14.05.2020)
Get full text
Paper
Journal Article