Planning for Human-Robot Teaming Kartik Talamadupula Subbarao Kambhampati J. Benton Dept. of Computer Science Arizona State University Paul Schermerhorn
The hard case forces temporal reasoning by the planner ... Proving this property of the (intended) benchmarks is, however, complicated. light-match ...