Kaj Munhoz Arfvidsson
Orcid: 0009-0007-3871-5828
According to our database1,
Kaj Munhoz Arfvidsson
authored at least 4 papers
in 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination.
CoRR, 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
Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability.
Proceedings of the 63rd IEEE Conference on Decision and Control, 2024