Kaj Munhoz Arfvidsson

13 papers C 2Journal 8Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Leveraging sidewalk robots for walkability-related analyses. Comput. Environ. Urban Syst. Xing Tong, Michele D. Simoni, Kaj Munhoz Arfvidsson, Jonas Mårtensson
2025	J	`jnl`	Leveraging Sidewalk Robots for Walkability-Related Analyses. CoRR Xing Tong, Michele D. Simoni, Kaj Munhoz Arfvidsson, Jonas Mårtensson
2025	J	`jnl`	Small-Scale Testbeds for Connected and Automated Vehicles and Robot Swarms: Challenges and a Roadmap. CoRR 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
2025	—	`conf`	pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis. CDC Kaj Munhoz Arfvidsson, Loizos Hadjiloizou, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2025	J	`jnl`	pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis. CoRR Kaj Munhoz Arfvidsson, Loizos Hadjiloizou, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2024	C	`conf`	Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. IV Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2024	J	`jnl`	Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. CoRR Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2024	—	`conf`	Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability. CDC Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He, Mo Chen, Karl Henrik Johansson
2024	J	`jnl`	Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability. CoRR Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He, Mo Chen, Karl Henrik Johansson
2024	C	`conf`	Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. IV Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl Henrik Johansson, Jonas Mårtensson
2024	J	`jnl`	Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. CoRR Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl Henrik Johansson, Jonas Mårtensson
2024	—	`conf`	Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination. ITSC Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2024	J	`jnl`	Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination. CoRR Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson