Rational Verification and Synthesis in Multi-Player Games on Weighted Graphs

The authors address complexity problems in rational verification and synthesis for multi-player games on weighted graphs, focusing on Nash equilibrium and Pareto-optimality strategies.