Reasoning about requirements at run-time using AI planning techniques - Zara Hassan (Islamabad NUST-SEECS, 2014)
Supervisors:Dr. Nauman Ahmed Qureshi, Dr. Hamid Mukhtar, Dr. Kashif Sharif, Dr. Awais Shibli