DOI,IST REx ID,Title of publication
10.1007/11874683_26,4437,Solving games without determinization
10.1007/11874683_17,3891,Concurrent games with tail objectives
10.1007/11874683_19,3889,Algorithms for omega-regular games with imperfect information
10.1007/11874683_18,3499,Nash equilibrium for upward-closed objectives