The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games



Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus
(2015) The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms.

[img] Text
finite.pdf - Submitted Version

Download (552kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 06 Dec 2018 09:15
Last Modified: 12 Apr 2022 08:11
DOI: 10.1137/1.9781611973730.69
URI: https://livrepository.liverpool.ac.uk/id/eprint/3029584