Kaj Munhoz Arfvidsson

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 5

Top Topics

Satisfiability Problem

Cellular Networks

Top Venues

Publications

Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl H. Johansson, Jonas Mårtensson
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. IV (2024)
Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl H. Johansson, Jonas Mårtensson
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. IV (2024)
Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl H. Johansson, Jonas Mårtensson
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. CoRR (2024)
Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He, Mo Chen, Karl Henrik Johansson
Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability. CoRR (2024)
Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. CoRR (2024)