Homepage
Publications
Talks
Teaching
Open Source Tools
CV
Misc

Muhammad Najib

Muhammad Najib

Assistant Professor

Heriot-Watt University
Edinburgh, Scotland
Email
Github
Google Scholar
ORCID
DBLP

Game-Theoretic Verification of Multi-Agent Systems

Date: August 22, 2024

Share on

Twitter Facebook LinkedIn

Follow:
GitHub

© 2024 Muhammad Najib. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.