_id,doi,title
4609,10.1145/585265.585270,Alternating-time temporal logic