93 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- COMSATS University IslamabadPK11 papers
- University of EducationPK9 papers
- University of LahorePK4 papers
- Zhejiang Normal UniversityCN3 papers
- Fukushima UniversityJP2 papers
- Gomal UniversityPK2 papers
- Government Sadiq College Women UniversityPK2 papers
- King Fahd University of Petroleum and MineralsSA2 papers
- National University of UzbekistanUZ2 papers
- New Uzbekistan UniversityUZ2 papers
- Prince Sattam Bin Abdulaziz UniversitySA2 papers
- Princess Nourah bint Abdulrahman UniversitySA2 papers
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2016★ 10 cited
Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System
Nadeem Akhtar, Malik M. Saad Missen
It is important to have multi-agent robotic system specifications that ensure correctness properties of safety and liveness. As these systems have concurrency, and often have dynam…
cs.SE2015★ 2 cited
Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY
Nadeem Akhtar
One of the most challenging tasks in software specifications engineering for a multi-agent system is to ensure correctness. As these systems have high concurrency, often have dynam…