Talk:Alternating-time temporal logic