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