Robotic software system for the disaster circumstances: System of team KAIST in the DARPA Robotics Challenge Finals | IEEE Conference Publication | IEEE Xplore