A Policy Synthesis-Based Framework for Robot Rescue Decision-Making in Multi-Robot Exploration of Disaster Sites | IEEE Conference Publication | IEEE Xplore