parity-games

There are 0 repository under parity-games topic.

• Skar0 / gamesolver

  A python tool for solving reachability/safety, parity, weak parity and generalized parity games

  antichainsgame-theorygeneralized-parity-gamesparity-gameparity-game-solverparity-gamesreachability-gamereachability-gamessafety-gamesweak-parity-game
  Language:Python 12

• Skar0 / spore

  SPORE: Symbolic Partial sOlvers for REalizability

  generalized-parity-game-solvergeneralized-parity-gamesltl-realizabilityparity-game-solverparity-games
  Language:Python 9

• Cyofanni / PMModelChecker

  PMModelChecker is a model checking tool for solving fixpoint equational systems by means of Progress Measures.

  mu-calculusmodel-checkingfixpoint-systemsparity-games
  Language:C++ 1