Qasim, Awais, Aziz, Zeeshan, Kazmi, Syed Asad Raza, Khalid, Adnan, Fakhir, Ilyas, Hassan, Jawad, "Intelligent agent for formal modelling of temporal multi-agent systems", International Journal on Smart Sensing and Intelligent Systems, 2020