There are 0 repository under reachability-games topic.
A python tool for solving reachability/safety, parity, weak parity and generalized parity games
Computation of Nash Equilibrium in Reachability Games
This repository contains a reachability checker for reachability games created in the Advanced Programming (Software, MSc.) course at AAU.
Just a simple safety and co-safety synthesizer