Akhtar, N., Khan, D.M. and Missen, M.M.S. 2018. Formal Validation of an Agent-based Location Guidance System (LGS). Journal of Information Communication Technologies and Robotic Applications. (Dec. 2018), 53-58.