Explore projects

Formal Methods and Functional Programming

Robust adaptive MPC using control contraction metrics

Containers and deb files for https://hdoc.io/