Hassan, Zara Reasoning about Requirements at Run-time Using AI Planning Techniques / Zara Hassan. - Islamabad: SEECS - NUST. 2014. - viii, 45 p. : ill. ; 30cm. ISBN: Subjects--Topical Terms: Ms Thesis. Dewey Class. No.: 005