Servizi e tecniche GNSS a supporto della navigazione di robot autonomi