Avoiding auto collisions on Talos robot

http://bauzil-cafe.laas.fr

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

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)