Table 1. Assumptions of the model.

Topic	Assumptions
Landscape	All patches are identical and have the same carrying capacity.
	Mosquitoes can disperse only to adjacent patches and are equally likely to disperse in any direction.
	Humans move through the landscape and are equally likely to be bitten in any patch.
Control	Surveillance results are 100% accurate and can be obtained fast enough to inform control actions the following day.
	Larvicide treatment is effective for 10 days and results in 100% larval mortality (though see S1 and S2 Figs for effects of lower treatment efficacy).
	Larvicide is the only control measure implemented (no adulticide).
Epidemiology	The virus is only transmitted horizontally, between humans and mosquitoes.
	Recovery in humans results in lifelong immunity from infection.
	Infected mosquitoes do not recover from infection.
	Viral infection has no effect on mosquito mortality, fecundity, or dispersal.
Population	No evolution occurs in the mosquito population over the model timespan.
	No human birth or death occurs over the model timespan.
	Adult mosquito dispersal and survival are not density-dependent.
	Larval mosquito survival is density-dependent.