Focus Game for Projection Temporal Logic.

Cong Tian, Zhenhua Duan

Browse the full TASE paper archive.