Eric M. Wolff — Software

Overview

This page is currently under construction. Please check back for updates.

LtlOpt

LtlOpt is a Matlab tool for the optimal control of high-dimensional, nonlinear robotic systems with linear temporal logic (LTL) task specifications. Click here for details.