- Tytuł:
- A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria
- Autorzy:
-
Góngora, P. A
Rosenblueth, D. A. - Data publikacji:
- 2015
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
shortest path
Bellman–Ford algorithm
Nash equilibrium
BDD
model checking
najkrótsza ścieżka
równowaga Nasha
sprawdzanie modelu - Dostawca treści:
- Biblioteka Nauki
Artykuł