Akhtar, N. et al. 2018. Formal Validation of an Agent-based Location Guidance System (LGS). Journal of Information Communication Technologies and Robotic Applications. (Dec. 2018), 53–58.