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
Stargazers
No one’s star this repository yet.