Qasim, A., Aziz, Z., Kazmi, S. A. R., Khalid, A., Fakhir, I., & Hassan, J. (2020). Intelligent agent for formal modelling of temporal multi-agent systems. International journal on smart sensing and intelligent systems (Online), 13(1), 1-13. https://doi.org/10.21307/ijssis-2020-003