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
Language:Python12 2 03
5nizza/aisy
AIGER based synthesizer using BDDs
Language:C3 2 01
5nizza/sdf
Synthesizer from safety games
Language:C++2 2 00
bonniepeng2002/Safe-At-School
An interactive game and a winner of IgnitionHacks 2020, Division Delta.
Language:HTML1 1 00
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
Language:Jupyter Notebook1 0 00
FilippoFantinato/simple-synthetiser
Just a simple safety and co-safety synthesizer
Language:C1 0