_id,doi,title
4432,10.1007/11867340_1,Timed alternating-time temporal logic