Set-Valued Shadow Matching Using Zonotopes for 3-D Map-Aided GNSS Localization