Akhtar, Nadeem, Dost Muhammad Khan, and Malik M. Saad Missen. 2018. “Formal Validation of an Agent-Based Location Guidance System (LGS)”. Journal of Information Communication Technologies and Robotic Applications, December, 53-58. https://www.jictra.com.pk/index.php/jictra/article/view/18.