Kaj Munhoz Arfvidsson
Orcid: 0009-0007-3871-5828
According to our database1,
Kaj Munhoz Arfvidsson
authored at least 6 papers
between 2024 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Small-Scale Testbeds for Connected and Automated Vehicles and Robot Swarms: Challenges and a Roadmap.
CoRR, March, 2025
2024
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024
Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination.
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.
Proceedings of the 63rd IEEE Conference on Decision and Control, 2024