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

Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games

Date: August 23, 2021

Videos
Slides

Share on

Twitter Facebook LinkedIn

Follow:
GitHub

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