 | Up a level |
Number of items: 2.
Michail, Othon 
ORCID: 0000-0002-6234-3960, Skretas, George ORCID: 0000-0003-2514-8004 and Spirakis, Paul G ORCID: 0000-0001-5396-3749
(2017)
On the Transformation Capability of Feasible Mechanisms for Programmable
Matter.
In: 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017-7-10 - 2017-7-14.
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.