Enevoldsen, Søren; Jensen, Mathias Claus; Larsen, Kim Guldstrand; Mariegaard, Anders; Srba, Jiří Verification of multiplayer stochastic games via abstract dependency graphs. (English) Zbl 07496651 Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 249-268 (2021). MSC: 68N30 PDF BibTeX XML Cite \textit{S. Enevoldsen} et al., Lect. Notes Comput. Sci. 12561, 249--268 (2021; Zbl 07496651) Full Text: DOI OpenURL
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří Partial order reduction for reachability games. (English) Zbl 07649931 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 23, 15 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{F. M. Bønneland} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 23, 15 p. (2019; Zbl 07649931) Full Text: DOI OpenURL