Kaj Munhoz Arfvidsson

According to our database, Kaj Munhoz Arfvidsson authored at least 4 papers in 2024.

Collaborative distances:

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

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

CoRR, 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

CoRR, 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