1: \begin{abstract}

2: In this paper, we introduce an automata-based framework for planning with

3: relaxed specifications.

4: User relaxation preferences are represented as \textit{weighted finite state edit systems}

5: that capture permissible operations on the specification, substitution and deletion of tasks,

6: {\color{black}with complex constraints on ordering and grouping}.

7: We propose a \textit{three-way product automaton} construction method that

8: allows us to compute minimal relaxation policies for the robots using {\disha{standard}} shortest path algorithms.

9: The three-way automaton captures the robot's motion, specification satisfaction,

10: and available relaxations at the same time.

11: Additionally, we consider a bi-objective problem that balances temporal relaxation

12: of deadlines within specifications with changing and deleting tasks.

13: Finally, we present \textcolor{black}{the runtime performance and a case study that highlights different modalities of our framework.}

14: 

15: % case studies that highlight different modalities of our framework

16: % and its runtime performance.

17: %

18: % \textcolor{blue}{This paper introduces a unified framework based on finite-state automata for specification relaxation. In particular, we address task and temporal relaxation and their trade-off. The user preferences for relaxation are expressed using the \textit{weighted finite state edit system (WFSE)}. We propose a \textit{three-way} product automaton construction which allows us to capture the abstract robot motion model, user preferences and costs for relaxation as well as the original mission specification in a single structure. Finally, we present case studies that highlight different modalities of our framework and its run-time performance.}\\

19: % TODO: definition/description of task notion

20: \end{abstract}

21: