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

AIGER based synthesizer using BDDs

Synthesizer from safety games

An interactive game and a winner of IgnitionHacks 2020, Division Delta.

Analysis of the paper "Synthesis of Orchestrations of Transducers for Manufacturing". Final project of "Elective in AI" course, La Sapienza, Rome, Italy, 2019

Just a simple safety and co-safety synthesizer