3 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…
cs.RO2025
Leveraging Sidewalk Robots for Walkability-Related Analyses
Xing Tong, Michele D. Simoni, Kaj Munhoz Arfvidsson +1
Walkability is a key component of sustainable urban development. In walkability studies, collecting detailed pedestrian infrastructure data remains challenging due to the high cost…