GitHub topics: reachability-game
AlineGoeminne/reachabilityGame
Computation of Nash Equilibrium in Reachability Games
Language: C++ - Size: 8.9 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
Skar0/gamesolver
A python tool for solving reachability/safety, parity, weak parity and generalized parity games
Language: Python - Size: 188 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 2
