Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information

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…