autumnday/Model-Predictive-Control

This package contains implementation for plan synthesis algorithms given a finite transition system (as the agent motion model) and a Linear temporal logic formula (as the agent task). It outputs the online path plan as a sequence of agent motion and action, required to fulfill the task.

MATLAB