Qualitative analysis of concurrent mean-payoff games.


Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus (2015) Qualitative analysis of concurrent mean-payoff games. Inf. Comput., 242. pp. 2-24.

[img] Text
val1problem.pdf - Author Accepted Manuscript
Download (393kB)
Item Type: Article
Depositing User: Symplectic Admin
Date Deposited: 05 Dec 2018 16:16
Last Modified: 19 Jan 2023 01:09
DOI: 10.1016/j.ic.2015.03.009
URI: https://livrepository.liverpool.ac.uk/id/eprint/3029587
Dimensions
Altmetric
CORE (COnnecting REpositories)