dongsy2013jlu's Stars
yotakayama/STLCCP
An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications
acados/acados
Fast and embedded solvers for nonlinear optimal control
giaf/blasfeo
Basic linear algebra subroutines for embedded optimization
giaf/hpipm
High-performance interior-point-method QP and QCQP solvers
donnydcy/LC_NGSIM
lane change trajectories extracted from NGSIM