A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria (Q747538)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria |
scientific article |
Statements
A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria (English)
0 references
16 October 2015
0 references
shortest path
0 references
Bellman-Ford
0 references
Nash equilibrium
0 references
binary decision diagram (BDD)
0 references
model checking
0 references
0 references
0 references
0 references
0 references
