This project implements FACTEST to find a path to the goal, and generate a controller for that path. A overview of the project is presented in the video. Skip forward to 1:00 to see the results.

Here is a demo of the project in action!