What kind of sensors and algorithms are the mobile robots of Kiva Systems equipped with?
Kiva uses a multi-agent system to control its fleet of robots and movable shells. Their website provides a high-level overview of their system architecture and there's also a presentation online that goes into more detail. The A* algorithm is used for wayfinding and a heuristic algorithm decides on the order of things to pick up (travelling salesman problem) and which shelves to move where (more frequently used shelves are put nearer the packing stations to reduce travel time).
According to this paper, the whole system is implemented in Java and MySQL.
I couldn't find any direct quote about the sensors in their mobile platforms, but from the picture I'd be guessing a number of sonars and IRs