Timed Alternating-Time Temporal Logic.

Thomas A. Henzinger Vinayak S. Prabhu Timed Alternating-Time Temporal Logic. 1-17 2006 conf/formats/2006 FORMATS http://dx.doi.org/10.1007/11867340_1 db/conf/formats/formats2006.html#HenzingerP06