_id,doi,title 681,10.1016/j.ic.2016.10.012,Doomsday equilibria for omega-regular games