“Precision Spraying: From Map to Sprayer Control Using Model-Checking”. Journal of Agricultural Informatics 8, no. 3 (November 21, 2017). Accessed September 24, 2026. https://journal.magisz.org/index.php/jai/article/view/392.