Pages that link to "Item:Q2220343"
From MaRDI portal
The following pages link to Model-checking precision agriculture logistics: the case of the differential harvest (Q2220343):
Displaying 5 items.
- Crop planning optimization model: the validation and verification processes (Q300804) (← links)
- Using VRPSolver to efficiently solve the \textsc{differential harvest problem} (Q2108125) (← links)
- An integer linear programming model for efficient scheduling of UGV tasks in precision agriculture under human supervision (Q2337389) (← links)
- (Q4253812) (← links)
- Monte Carlo tree search for priced timed automata (Q6160783) (← links)