Explore projects

EPFL CS550 - Formal Verification

Préparation du modèle (template) Ubuntu destiné à VDI VMware Horizon.

Efficient localization and navigation in cluttered environments with a team of robots

Code for "Data-driven Feedback Linearization in the Koopman Observable Manifold"

Hand v2.1, Hand v3