Found 2 Documents (Results 1–2)
Comparison of algorithms for simple stochastic games. (English) Zbl 1539.68169
Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 131-148 (2020).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Křetínský, Jan (2)
- Ramneantu, Emanuel (2)
- Slivinskiy, Alexander (2)
- Weininger, Maximilian (2)
Software
- GAVS (2)
- GIST (2)
- PRISM-games (2)