New tool on the synthesis of symbolic controllers!

Our new tool, called "SCOTS", on the synthesis of symbolic controllers is publicly available! You can download the tool from the following link.