Publikationer av Kaj Munhoz Arfvidsson
Refereegranskade
Konferensbidrag
[1]
K. Munhoz Arfvidsson et al., "Ensuring Safety at Intelligent Intersections : Temporal Logic Meets Reachability Analysis," i 2024 35TH IEEE INTELLIGENT VEHICLES SYMPOSIUM, IEEE IV 2024, 2024, s. 292-298.
[2]
F. Jiang et al., "Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability," i 2024 IEEE 63rd Conference on Decision and Control, CDC 2024, 2024, s. 5203-5210.
[3]
K. Munhoz Arfvidsson et al., "Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks," i 2024 35TH IEEE INTELLIGENT VEHICLES SYMPOSIUM, IEEE IV 2024, 2024, s. 149-155.
[4]
K. Munhoz Arfvidsson et al., "Towards Safe Autonomous Intersection Management : Temporal Logic-based Safety Filters for Vehicle Coordination," i 2024 IEEE 27th International Conference on Intelligent Transportation Systems, ITSC 2024, 2024, s. 895-901.
Senaste synkning med DiVA:
2025-09-07 00:37:10 UTC