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

Verification of Cooperative and Concurrent Multi-Player Mean-Payoff Games

Date: December 06, 2023

Share on

Twitter Facebook LinkedIn

Follow:
GitHub

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