Timed Alternating-Time Temporal Logic (2006)

by T A HENZINGER, V S PRABHU
Venue:Proc. 4th International Conferences on Formal Modelling and Analysis of Timed Systems