Paper Info
Title
Task Planning With Omt: An Application To Production Logistics
Abstract
Task planning is a well-studied problem for which interesting applications exist in production logistics. Planning for such domains requires to take into account not only feasible plans, but also optimality targets, e.g., minimize time, costs or energy consumption. Although there exist several algorithms to compute optimal solutions with formal guarantees, heuristic approaches are typically preferred in practical applications, trading certified solutions for a reduced computational cost. Reverting this trend represents a standing challenge within the domain of task planning at large. In this paper we discuss our experience using Optimization Modulo Theories to synthesize optimal plans for multi-robot teams handling production processes within the RoboCup Logistics League. Besides presenting our results, we discuss challenges and possible directions for future development of OMT planning.
Year
DOI
Venue
2018
10.1007/978-3-319-98938-9_18
INTEGRATED FORMAL METHODS, IFM 2018
Field
DocType
Volume
Heuristic,Modulo,Computer science,Operations research,Theoretical computer science,Certification,Energy consumption,Production logistics
Conference
11023
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
17
3
Name
Order
Citations
PageRank
Francesco Leofante1165.71
Erika Ábrahám283063.17
Armando Tacchella31448108.82