Space Navigator: a Tool for the Optimization of Collision Avoidance Maneuvers. - Leonid Gremyachikh; Dmitrii Dubov; Nikita Kazeev; Andrey Kulibaba; Andrey Skuratov; Anton Tereshkin; Andrey Ustyuzhanin; Lubov Shiryaeva; Sergej Shishkin (CoRR, 2019)