Autonomous Vehicles That Interact With Pedestrians: A Survey of Theory and Practice | IEEE Journals & Magazine | IEEE Xplore