Precision spraying: from map to sprayer control using model-checking. JAI [Internet]. 2017 Nov. 21 [cited 2026 Sep. 24];8(3). Available from: https://journal.magisz.org/index.php/jai/article/view/392