GitHub topics: parity-game
mkhaled87/pFaces-OmegaThreads
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and a 2d simulator are provided.
Language: C++ - Size: 70.4 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 9 - Forks: 2
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
