We have developed state estimation techniques for the simultaneous localization and map building (SLAM) problem. Both deterministic (set-membership) and probabilistic descriptions of the uncertainty are considered. Different environment representations are adopted (pointwise landmarks and linear features). The developed algorithms are suitably extended to the multi-robot scenario.
You can find more information in the following publications or by watching these videos.
Set-membership techniques
Single-robot SLAM
Multi-robot SLAM
Maximally informative path planning
Probabilistic techniques
Single-robot SLAM using linear features
Multi-robot SLAM with M-Space feature representation