Saddem, R.; Naud, O.; Cazenave, P.; Dejean, K. G.; Crestani, D. Precision Spraying: From Map to Sprayer Control Using Model-Checking. JAI 2017, 8.