Kaj Munhoz Arfvidsson

According to our database, Kaj Munhoz Arfvidsson authored at least 7 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Leveraging sidewalk robots for walkability-related analyses.

Xing Tong, Michele D. Simoni, Kaj Munhoz Arfvidsson, Jonas Mårtensson

Comput. Environ. Urban Syst., 2026

2025

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis.

Kaj Munhoz Arfvidsson, Loizos Hadjiloizou, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson

CoRR, October, 2025

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, Sangeet Sankaramangalam Ulhas, Kaj Munhoz Arfvidsson

CoRR, March, 2025

2024

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis.

Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson

Proceedings of the IEEE Intelligent Vehicles Symposium, 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

Proceedings of the IEEE Intelligent Vehicles Symposium, 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

Proceedings of the 27th IEEE International Conference on Intelligent Transportation Systems, 2024

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability.

Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He, Mo Chen, Karl Henrik Johansson

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024