31 citations · 38 across the 55 of their papers we have counts for
1 paper · 2 filters
Amr Alanwar, Frank J. Jiang, Maryam Sharifi +2
This paper presents algorithms for performing data-driven reachability analysis under temporal logic side information. In certain scenarios, the data-driven reachable sets of a rob…