Contribution in a journal
Open access
Locality-based moral planning with linear temporal logic values
Linear Temporal Logic (LTL) is widely used to describe problem settings of various planning tasks. Our main contribution is a locality-based way to compress the search when planning with LTLf values. With it, an exact algorithm runs in time polynomia…