An algorithm to find optimal attack paths in nondeterministic scenarios
Attack Planning in the Real World