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

controller synthesis from succinct safety specifications

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

Business card website for a mobile game on children's safety

Just a simple safety and co-safety synthesizer