Online Monitoring for Safe Pedestrian-Vehicle Interactions | IEEE Conference Publication | IEEE Xplore