Software to develop and run robots.
Optimization-based multi-sensor state estimator.
Factor graphs for SLAM and sensor fusion.