Nguyen, Hoang Nga, Rakib, Abdur, "Probabilistic resource-bounded alternating-time temporal logic", ,