reachability-games

Here are 4 public repositories matching this 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

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

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