Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Variation with k of (a) number of mutants planned by CrossPlanDelay, (b) the ratio of the number of target mutants planned by the limited horizon strategy and the number planned by CrossPlan and (c) the ratio of the number of target mutants planned by the CrossPlanMarkers with the limited horizon strategy and the number planned by CrossPlan
