Module backward 

Backward induction solver for extensive-form games.

Structs

BackwardResult

Result of backward induction: optimal action and expected payoff.

Functions

backward_induction

Solve an extensive-form game via backward induction.

equilibrium_actions

Get the action labels along the equilibrium path.

equilibrium_path

Get the equilibrium path from root to terminal under backward induction.

Type Aliases

Strategy

Result of backward induction: optimal action at each decision node.