6 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He +2
In this paper, we present an approach for guaranteeing the completion of complex tasks with cyber-physical systems (CPS). Specifically, we leverage temporal logic trees constructed…