2 papers
eess.SY2025
pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
Kaj Munhoz Arfvidsson, Loizos Hadjiloizou, Frank J. Jiang +2
In this paper, we present pyspect, a Python toolbox that simplifies the use of reachability analysis for temporal logic problems. Currently, satisfying complex requirements in cybe…
eess.SY2025
Beyond Line-of-Sight: Cooperative Localization Using Vision and V2X Communication
Annika Wong, Zhiqi Tang, Frank J. Jiang +2
Accurate and robust localization is critical for the safe operation of Connected and Automated Vehicles (CAVs), especially in complex urban environments where Global Navigation Sat…