- 2
- 2
- 1
Didier Crestani
5
Documents
Publications
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 5
- 5
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 3
- 3
Model-checking precision agriculture logistics: the case of the differential harvestDiscrete 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-checkingJournal 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 wayWODES 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 grid20th 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-checking2017 EFITA WCCA CONGRESS, Jul 2017, Montpellier, France
Communication dans un congrès
lirmm-01591476v1
|