CV Accueil - Archive ouverte HAL

	Model-checking precision agriculture logistics: the case of the differential harvest Rim Saddem-Yagoubi , Olivier Naud , Karen Godary-Dejean , Didier Crestani Discrete Event Dynamic Systems, 2020, 30, pp.579-604. ⟨10.1007/s10626-020-00313-1⟩ Article dans une revue hal-02963006v1
	Precision spraying: from map to sprayer control using model-checking Rim Saddem-Yagoubi , Olivier Naud , Paul Cazenave , Karen Godary-Dejean , Didier Crestani Journal of Agricultural Informatics, 2017, 8 (3), pp.1-10. ⟨10.17700/jai.2017.8.3.392⟩ Article dans une revue lirmm-01960598v1

	New Approach for Differential Harvest Problem: The model checking way Rim Saddem-Yagoubi , Olivier Naud , Karen Godary-Dejean , Didier Crestani WODES 2018 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. pp.57-63, ⟨10.1016/j.ifacol.2018.06.279⟩ Communication dans un congrès lirmm-01935442v1
	Decomposing the model-checking of mobile robotics actions on a grid Rim Saddem-Yagoubi , Olivier Naud , Karen Godary-Dejean , Didier Crestani 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.11156-11162, ⟨10.1016/j.ifacol.2017.08.1236⟩ Communication dans un congrès lirmm-01592588v1
	Precision spraying: from map to control using model-checking Rim Saddem-Yagoubi , Olivier Naud , Paul Cazenave , Karen Godary-Dejean , Didier Crestani 2017 EFITA WCCA CONGRESS, Jul 2017, Montpellier, France Communication dans un congrès lirmm-01591476v1

Didier Crestani