parity-games

Here are 3 public repositories matching this topic...

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

SPORE: Symbolic Partial sOlvers for REalizability

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

Add a description, image, and links to the parity-games topic page so that developers can more easily learn about it.

To associate your repository with the parity-games topic, visit your repo's landing page and select "manage topics."