Muhammad Najib
Orcid: 0000-0002-6289-5124
According to our database1,
Muhammad Najib
authored at least 13 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
2023
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version).
CoRR, 2023
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints.
CoRR, 2023
2021
Appl. Intell., 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
2020
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games.
Artif. Intell., 2020
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020
2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
2018
Proceedings of the Automated Technology for Verification and Analysis, 2018