Unfalsified uncertainty modeling for computing tight bounds on peak spacing errors in vehicle platoons | IEEE Conference Publication | IEEE Xplore