_id,doi,title 4627,10.1109/LICS.2000.855763,Concurrent omega-regular games