[1]
R. Saddem, O. Naud, P. Cazenave, K. G. Dejean, and D. Crestani, “Precision spraying: from map to sprayer control using model-checking”, JAI, vol. 8, no. 3, Nov. 2017.