1 citations · 1 across the 2 of their papers we have counts for
7 papers
Small-Scale Testbeds for Connected and Automated Vehicles and Robot Swarms: Challenges and a Roadmap
Jianye Xu, Johannes Betz, Armin Mokhtarian +11
This article proposes a roadmap to address the current challenges in small-scale testbeds for Connected and Automated Vehicles (CAVs) and robot swarms. The roadmap is a joint effor…
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…
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…
Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination
Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl H. Johansson +1
In this paper, we introduce a temporal logic-based safety filter for Autonomous Intersection Management (AIM), an emerging infrastructure technology for connected vehicles to coord…
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl H. Johansson +1
In this work, we propose an approach for ensuring the safety of vehicles passing through an intelligent intersection. There are many proposals for the design of intelligent interse…
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks
Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang +4
In this work, we present a small-scale testbed for evaluating the real-life performance of cellular V2X (C-V2X) applications on 5G cellular networks. Despite the growing interest a…