A verified architecture for sensor fusion.

Chris M. Pearson, Penelope Probert

Browse the full IROS paper archive.