Arguing Operational Safety for Mixed Traffic in Underground Mining | IEEE Conference Publication | IEEE Xplore