ASTRO-K: Finding Top-k Sufficiently Distinct Indoor-Outdoor Paths | IEEE Conference Publication | IEEE Xplore