Akhtar, N., Khan, D. M., & Missen, M. M. S. (2018). Formal Validation of an Agent-based Location Guidance System (LGS). Journal of Information Communication Technologies and Robotic Applications, 53-58. https://www.jictra.com.pk/index.php/jictra/article/view/18