Explore projects

Auto-tuned Iterative Closest Point -- AICP -- Public

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.

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

BE INSA