New tool on the synthesis of symbolic controllers!
24.03.2017
Our new tool, called "QUEST", on the synthesis of symbolic controllers without state-space discretization is publicly available! You can download the tool from the following link.
24.03.2017
Our new tool, called "QUEST", on the synthesis of symbolic controllers without state-space discretization is publicly available! You can download the tool from the following link.