Picture for Muhammad Najib

Muhammad Najib

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems

Add code
Oct 31, 2024
Viaarxiv icon

Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version)

Add code
Aug 19, 2024
Viaarxiv icon

On the Complexity of Rational Verification

Add code
Jul 06, 2022
Figure 1 for On the Complexity of Rational Verification
Viaarxiv icon

Rational Verification for Probabilistic Systems

Add code
Jul 26, 2021
Figure 1 for Rational Verification for Probabilistic Systems
Figure 2 for Rational Verification for Probabilistic Systems
Figure 3 for Rational Verification for Probabilistic Systems
Viaarxiv icon

Equilibrium Design for Concurrent Games

Add code
Jun 18, 2021
Figure 1 for Equilibrium Design for Concurrent Games
Viaarxiv icon

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

Add code
Aug 13, 2020
Figure 1 for Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Figure 2 for Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Figure 3 for Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Figure 4 for Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Viaarxiv icon