37 citations · 167 across the 53 of their papers we have counts for
1 paper · 1 filter
Yuchen Zhou, Dipankar Maity, John S. Baras
In this paper, we consider the robot motion (or task) planning problem under some given time bounded high level specifications. We use metric interval temporal logic (MITL), a memb…