A strategy in an extensive form (pure, pure reduced, behavior, behavior reduced) should be visually indicated for the player in the game tree, with e.g. arrows for deterministic moves, weighted arrows with (optional) indicated probability weights for behavior strategies, a star * for unspecified moves if the strategy is reduced.
Similarly for a strategy profile (one strategy for each player).
This touches on a wider issue: Designing a format for representing/storing strategies, equilibrium, asserting the equilibrium property, visualization of equilibria.
Should be an entire project: output visualization.
A strategy in an extensive form (pure, pure reduced, behavior, behavior reduced) should be visually indicated for the player in the game tree, with e.g. arrows for deterministic moves, weighted arrows with (optional) indicated probability weights for behavior strategies, a star * for unspecified moves if the strategy is reduced. Similarly for a strategy profile (one strategy for each player). This touches on a wider issue: Designing a format for representing/storing strategies, equilibrium, asserting the equilibrium property, visualization of equilibria. Should be an entire project: output visualization.