Mascot Scalable Controller Synthesis

Demo: reach-avoid controller synthesis for a unicycle in a maze.

Following is an example for synthesis of reach-avoid controller for a unicycle in a 2D state space. For details of the model and the problem, please see the paper[1].