Fyvie, Martin, McCall, John A.W., Christie, Lee A., "Non-deterministic solvers and explainable AI through trajectory mining.", , 2021