https://tumcps.github.io/CORA/
https://docs.acados.org/
https://web.casadi.org/
https://drake.mit.edu/
https://github.com/MRPT/mvsim
