Effective search strategy via internal state transition graphs on onboard planning for deep space probes. (July 2018)