- 1
- 1
- 1
Didier Crestani
3
Documents
Publications
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 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
|
|
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
|
Precision spraying: from map to control using model-checking2017 EFITA WCCA CONGRESS, Jul 2017, Montpellier, France
Communication dans un congrès
lirmm-01591476v1
|