Human trust-aware motion planning under temporal logic specifications in autonomous driving simulation using CARLA.
temporal-logic formal-methods autonomous-driving pomdp human-robot-collaboration carla carla-simulator icra-2024 trust-aware-ai
-
Updated
May 20, 2025 - C++