The construction of analytic diffeomorphisms for exact robot navigation on star worlds | Synapse