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, pp. 53–58. Available at: https://jictra.nicerjss.com/index.php/jictra/article/view/18 (Accessed: 27 August 2026).