autumnday / model-predictive-control Goto Github PK
View Code? Open in Web Editor NEWThis project forked from hukangle/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.