Leica Infinity can now export post-processed GNSS baselines to STAR*NET, just as Leica Geo Office did in the past. This feature now has enhanced precision in the variance/covariance matrix so will suit high precision networks.
See this article for a guide.
