DOI,IST REx ID,Research Group,Title of publication
10.1016/j.ic.2016.10.012,681,KrCh,Doomsday equilibria for omega-regular games