Hypothesis Exploration for Malware Detection Using Planning | Synapse