41 citations · 267 across the 66 of their papers we have counts for
1 paper · 2 filters
Xu Chu Ding, Jing Wang, Morteza Lahijanian +2
In this paper, we consider the problem of deploying a robot from a specification given as a temporal logic statement about some properties satisfied by the regions of a large, part…