[2209.11864] Stochastic Planning for ASV Navigation Using Satellite Images