1 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Marius Kloetzer, Xu Chu Ding, Calin Belta
In this paper, we develop a computational framework for fully automatic deployment of a team of unicycles from a global specification given as an LTL formula over some regions of i…