Avoiding auto collisions on Talos robot

Avoiding auto collisions on Talos robot

http://bauzil-cafe.laas.fr

The SAT and MaxSAT encoding for generating optimal binary decision diagrams.

BE INSA

Sample and basic use of LaTeX beamer theme

Build benchmark for RISC-V (default to RV64IMAC)

This repository contains a stabilizer for Biped Locomotion.

This repository contains a stabilizer for Biped Locomotion.

Biomechanic toolbox

Biomechanic toolbox

Python codes for Bolt (calibration ...) + solopython of Thomas Flayols

Cache side channel attacks for RISC-V (also works for x86)