Document Search Results

×

from until

Found 2 Documents (Results 1–2)

Newest Citations Relevance

Křetínský, Jan; Ramneantu, Emanuel; Slivinskiy, Alexander; Weininger, Maximilian

Comparison of algorithms for simple stochastic games. (English) Zbl 1539.68170

Inf. Comput. 289, Part B, Article ID 104885, 23 p. (2022).

MSC: 68Q60 68W40 90C20 91A15 91A68

Cite Review PDF

Full Text: DOI

OA License

Křetínský, Jan; Ramneantu, Emanuel; Slivinskiy, Alexander; Weininger, Maximilian

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).

MSC: 68Q60 68W40 90C20 91A15 91A68

Cite Review PDF

Full Text: arXiv Link

Filter Results by …

Document Type

Journal Articles (1)
Collection Articles (1)

Author

Year of Publication

2022 (1)
2020 (1)

Main Field

68-XX (2)
90-XX (2)
91-XX (2)

Software

GAVS (2)
GIST (2)
PRISM-games (2)