Chatterjee, Krishnendu; Hansen, Kristoffer Arnsfelt; Ibsen-Jensen, Rasmus Strategy complexity of concurrent safety games. (English) Zbl 1447.91018 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 55, 13 p. (2017). MSC: 91A20 91A43 91A05 91A68 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 55, 13 p. (2017; Zbl 1447.91018) Full Text: DOI
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus Qualitative analysis of concurrent mean-payoff games. (English) Zbl 1318.91039 Inf. Comput. 242, 2-24 (2015). MSC: 91A43 68Q25 91A05 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{R. Ibsen-Jensen}, Inf. Comput. 242, 2--24 (2015; Zbl 1318.91039) Full Text: DOI arXiv