safety-games
There are 6 repositories under safety-games topic.
Skar0/gamesolver
A python tool for solving reachability/safety, parity, weak parity and generalized parity games
5nizza/aisy
AIGER based synthesizer using BDDs
5nizza/sdf
Synthesizer from safety games
bonniepeng2002/Safe-At-School
An interactive game and a winner of IgnitionHacks 2020, Division Delta.
dhorpynchenko/Orchestration-of-Transducers-for-Manufacturing
Analysis of the paper "Synthesis of Orchestrations of Transducers for Manufacturing". Final project of "Elective in AI" course, La Sapienza, Rome, Italy, 2019
FilippoFantinato/simple-synthetiser
Just a simple safety and co-safety synthesizer