New tool on the synthesis of symbolic controllers for networked control systems!
11.11.2016
Our new tool, called "SENSE", on the synthesis of symbolic controllers for networked control systems is publicly available! You can download the tool from the following link.