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