20 citations · 26 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.RO2021
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…
eess.SY2021★ 2 cited
Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications
Pian Yu, Yulong Gao, Frank J. Jiang +2
This paper studies the online control synthesis problem for uncertain discrete-time systems subject to signal temporal logic (STL) specifications. Different from existing technique…