Abstractions for computing all robotic sensors that suffice to solve a planning problem

Yulin Zhang,Dylan A. Shell,Yulin Zhang,Dylan A. Shell

Whether a robot can perform some specific task depends on several aspects, including the robot’s sensors and the plans it possesses. We are interested in search algorithms that treat plans and sensor designs jointly, yielding solutions—i.e., plan and sensor characterization pairs—if and only if they exist. Such algorithms can help roboticists explore the space of sensors to aid in making design tr...