Beam diagnostics for the Amsterdam pulse stretcher AmPS | IEEE Conference Publication | IEEE Xplore