A constructive logical approach to the study of collision avoidance problems pertaining to autonomous mobile systems meant for space exploration
