Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability. - Frank J. Jiang; Kaj Munhoz Arfvidsson; Chong He; Mo Chen 001; Karl Henrik Johansson (CDC, 2024)

Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination. - Kaj Munhoz Arfvidsson; Frank J. Jiang; Karl Henrik Johansson; Jonas Mårtensson 001 (ITSC, 2024)

Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. - Kaj Munhoz Arfvidsson; Kleio Fragkedaki; Frank J. Jiang; Vandana Narri; Hans-Cristian Lindh; Karl Henrik Johansson; Jonas Mårtensson 001 (IV, 2024)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. - Kaj Munhoz Arfvidsson; Frank J. Jiang; Karl Henrik Johansson; Jonas Mårtensson 001 (IV, 2024)

Small-Scale Testbeds for Connected and Automated Vehicles and Robot Swarms: Challenges and a Roadmap. - Jianye Xu; Bassam Alrifaee; Johannes Betz; Armin Mokhtarian; Archak Mittal; Mengchi Cai; Rahul Mangharam; Omar M. Shehata; Catherine M. Elias; Jan-Nico Zaech; Patrick Scheffe; Felix Jahncke; et al. (CoRR, 2025)

Leveraging Sidewalk Robots for Walkability-Related Analyses. - Xing Tong; Michele D. Simoni; Kaj Munhoz Arfvidsson; Jonas Mårtensson 001 (CoRR, 2025)