I Introduction
In an ideal humanrobot interaction scenario, humans would give robots tasks in the form of natural language utterances and gestures. The variation in language used allows for specifying tasks at varying levels of spatial abstractions, while specifying temporal constraints. Meaning can be conveyed with language at different levels of spatial abstraction, in terms of highlevel goals (such as “fly to the end of the first floor”), lowerlevel specifications (such as “fly east, go south, go south and fly east again”), or mixedlevel (such as “go to the yellow room and the second floor”). Language can also express explicit constraints on the path taken to reach the goal (for example, “fly to the red room first, without going through the green room.”). The former category of commands requires an agent to fluidly move within an abstraction hierarchy (that is, knowing that a floor is at a higher level than individual rooms and directions), while the latter command restricts the space of possible paths that can be taken and sometimes induces temporal constraints on the order in which goals can be visited. It is crucial for robot systems to portray an adequate understanding of such commands, coupled with the ability to efficiently execute the underlying task.
Given an environment, a goal condition and constraints, robots can use planning to reach goal conditions while satisfying constraints. Existing approaches interpret language by mapping to a reward function in a Markov Decision Process (MDP) [1]. However, these models very quickly become intractable as the state space of the world grows larger [2, 3]. Planning with abstractions in a hierarchical structure [2, 4, 3, 5], either by using an Abstract Markov Decision Process (AMDP) [2] or with options [4, 3, 5] can allow reduction of the state space. There has been previous work in interpreting natural language task specifications at different levels of spatial abstraction and planning using AMDPs [6]. Separately, as shown in Fig. 1, nonMarkovian natural language commands can be mapped to linear temporal logic (LTL) formulae [7, 8, 9, 10] to allow efficient planning with an MDP, given the corresponding LTL task specifications [11, 12, 13, 14, 15, 16, 17]. Combining the interpretation of language using a hierarchical structure and the mapping of commands to LTL expressions is nontrivial, as the nonMarkovian constraints might span different levels of abstraction. Plans in a more abstract state space could therefore lead to failure of constraints specified in a less abstract space (that is, plans at a lower level in the abstraction hierarchy).
In this paper, we introduce the Abstract Product MDP (APMDP) framework to combine the benefits of LTL and AMDP, thus enabling a robot to interpret nonMarkovian commands at different levels of abstraction. There is previous work in planning for LTL tasks using options [18]. However, the AMDP approach suits our task better, as its hierarchical structure closely resembles the hierarchies formed by humans when planning to solve complex tasks that can be decomposed into subtasks [2]. In our approach, task specifications are first given as natural language utterances that are then translated into LTL expressions by a supervised neural sequencetosequence model. This LTL expression is converted into a finite state representation that accepts infinite inputs, or a Büchi automaton [19]. This representation allows us to decompose the problem into subproblems (organized around subparts of the input LTL expression). Edges of the Büchi automaton consist of atomic propositions in expression and a subproblem induces a state transition of the automaton. To further deal with different levels of abstraction, if atomic propositions in the same edge are from different levels, we solve the subproblem using the lower level AMDP. The robot must then forgo the computational benefits of the AMDP to guarantee that the policy satisfies all the constraints present in the LTL expression. This entire pipeline (shown in Fig. 2) therefore fluidly allows complex task specifications with nonMarkovian constraints to be specified using natural language and solved at different levels of the goal hierarchy.
We evaluate our approach by reporting the performance of APMDP in simulation and on a drone platform. We also present a new corpus of nonMarkovian natural language commands at different levels of abstraction, a neural sequencetosequence model that translates humanuttered natural language commands to their corresponding LTL counterparts, and demonstrates the solving of complex natural language task specifications using APMDP on a drone.
Ii Related Work
LTL has been used to model agent behavior in planning problems with nonMarkovian task specifications. Consider a task that requires an agent to visit regions of interest in a specific order (for example, “visit the red room first, then the blue room, and the green room last”). These kinds of expressions have intrinsic temporal information that must be taken into account when determining the kind of path that has to be taken to achieve the goal. LTL allows us to formally describe these kinds of task specifications as logical functions, thus allowing robots to then execute these behaviors.
When the goal for a task is defined as an LTL expression, previous works have often formulated the problem as a product of an MDP and an automaton of the LTL formula [11, 12, 13, 15, 16]. Some previous works model dynamic systems of agents as MDPs and developed methods to generate a control policy that satisfies LTL constraints [12, 11]. The LTL formula is converted into a Deterministic Rabin Automaton (DRA), and the dynamic system is formulated as a product of a DRA and MDP. The goal is then to search for a policy that satisfies the acceptance condition. Along the same lines, Kasenberg and Scheutz [14] show that the reverse is also true, that is, the product of a DRA and an MDP can be considered to infer an LTL specification from demonstrations. However, this approach does not scale well for large MDPs.
Decision making with an MDP often becomes intractable as the size of the state space increases. In order to overcome intractability, hierarchical frameworks [3, 4, 20, 2] are commonly used. The options framework [3, 4], for example, models temporally abstract macroactions as options that can be adopted to build abstraction hierarchies. Similarly, AMDPs [2] can be used for abstraction by decomposing tasks into series of subtasks, thus allowing planning to take place more efficiently. However, these methods do not address the problem of solving LTL specifications with abstractions.
Hierarchical frameworks are powerful when an agent is faced with the task of planning a sequence of actions for complex LTL tasks. Several works [21, 22, 23, 24] propose incorporating both the robot dynamics and the given LTL constraints in a continuous space. A continuous state space can be abstracted into a discrete state space and a continuous path is derived by sampling guided by the highlevel discrete plan [22, 23, 24]. Other works have focused on grounding natural language to LTL expressions [17, 9, 10] to further allow a robot to make use of these LTL specifications. Previous work in hierarchical planning using options can accelerate planning for LTL tasks [18]. However, the AMDP framework [2] is better suited for our task than options, by virtue of encoding a goal hierarchy rather than learning a policy over goals.
To the best of our knowledge, this work is the first to propose a hierarchical framework for planning for LTL tasks using the structure of an AMDP. An AMDP provides abstract states, actions, and transition dynamics in multiple layers above a baselevel MDP, thus decomposing problems into subtasks with local rewards and local transition functions for policy generation. Moreover, as shown in our robot demonstrations, we start from human input given in the form of speech that is then converted to text. This textual input of the natural language command is translated to its LTL representation, and atomic propositions are directly mapped into propositions in each layer of a multilevel AMDP. We can then plan at levels higher than the lowest level whenever possible, and find a policy in a more efficient way than previous approaches.
Iii Problem Formulation
We consider a planning problem for a robot, when the task that the robot is required to interpret and solve is given through a natural language command. Our environment is a 3D grid world consisting of three floors as shown in Fig. 1. Each floor is composed of colored rooms, a room is composed of a set of grid cells, a landmark (such as a charging station) indicates a cell at position (x,y,z). Landmarks (or cells) are therefore the lowest level of abstraction, rooms are abstract expressions of landmarks, and floors are abstract expressions of rooms and form the highest level of abstraction. A natural language command (such as “first go to the red room through landmark 1 and then go to the blue room.”) is given to the robot by virtue of observable visual elements in our abstraction hierarchy (landmarks, rooms, and floors). This natural language utterance is grounded to its LTL counterpart ( (landmark_1 (red_room (blue_room)))) which forms the task specification. The agent is required to accomplish the task by correctly finding a path to the correct location and following the determined path by executing a sequence of actions from the action set (north, south, east, west, up, down).
We formulate this problem as an MDP that gets a high reward when the task is accomplished. Crucially, we make use of abstractions over the MDP state space for more efficient planning in large environments, and for the robot to efficiently find policies for commands at different levels of abstraction. Consider the example task above of “first go to the red room through landmark 1 and then go to the blue room.” This is an expression that spans different levels in the abstraction hierarchy (that is, rooms and landmarks) and can be translated into its equivalent LTL formula over atomic proposition sets for each level in the hierarchy. For example, “landmark 1” occupies one grid cell in the environment and corresponds to an atomic proposition (denoted by ) in and “red room” and “blue room” correspond to atomic propositions (denoted by and , respectively) in . The expression can be translated into using the LTL operator or “finally”, converted to a Büchi automaton [19, 7], and then an AMDP [2] to decompose the problem into a series of smaller, and hence easier to solve, subproblems. Section IV defines LTL and the variants of MDPs that our model relies on, while section V goes over how they are composed together to produce a more efficient solution, while describing the endtoend pipeline with the natural language grounding components.
Iv Preliminaries
This section defines the components used in our formulation and how they are transformed into one another to form state abstractions for complex, nonMarkovian task specifications uttered by humans through natural language. We briefly introduce LTL and its syntax, explain the transformation of an LTL expression to a Büchi automaton and further to an MDP.
Iva Linear temporal logic
Temporal logic was first introduced as a formalism for clarifying issues of time and defining the semantics of temporal expressions. LTL is a temporal logic whose syntax contains path formulae — the logical expression describes a specification that can be validated over a trajectory of any robot (discrete) system. LTL has the following grammatical syntax: , where is the task specification or path formula, and are both LTL formulae, is an atomic proposition, denotes “finally”, denotes “globally” or “always”, denotes “until”, and denote logical “negation”, “and” and “or”.
IvB Linear temporal logic to Büchi automaton
An LTL formula intuitively expresses properties over trajectories or traces (a sequence of sets of atomic propositions) in the environment. This can be translated into an equivalent Büchi automaton [19] — a deterministic automaton, that differs from the general notion of automata in that it accepts infinite traces represented by the input LTL formula. This handling of infinite traces is specifically necessary in cases of complex nonMarkovian task specifications that can map to potentially unbounded action sequences.
Definition 1
(Büchi automaton): A deterministic Büchi automaton (DBA) is a tuple where is a finite set of states, is the input alphabet, is the transition function, is the initial state, and is the acceptance condition.
For the LTL formula , the input alphabet of the automaton is . A word over an alphabet can be any infinite sequence of atomic propositions, and the run of the automaton on with is a sequence of states for , where is an initial state and . A word is accepted by the automaton iff its run satisfies the relationship , that is, the language is nonempty if at least one final state is reached.
IvC Labeled Markov Decision Processes
In order to combine an MDP with the LTL formula to make an expanded MDP, we need to annotate each state with propositions so that we can evaluate the LTL expression. A labeled MDP [13] is essentially an MDP where transitions are annotated with labels. These labels are provided by a labeling function that maps states to valid propositions for each state.
Definition 2
(Labeled MDP): A labeled MDP is a tuple , where and are finite state and action sets,
is a transition probability function,
is the initial state, is a set of atomic propositions, is a labeling function which maps a state into a set of atomic propositions valid at state , and is a reward function.IvD Product Markov Decision Processes
We now need to combine the labeled MDP with the LTL expression in order to make an expanded MDP which keeps track of the relevant parts of the LTL state. A product automaton is one that derives from the product of the finite transition system of and the automaton that represents the LTL specification. Labeled MDPs have previously been used for planning over an MDP to satisfy an LTL formula [15, 16], where the states of and encode the desired LTL specification. We can therefore design a state based reward function that relies on acceptance conditions of .
Definition 3
(Product MDP): Given a deterministic Büchi automaton and a labeled finite MDP , with and , the product MDP (PMDP) for the state is given by where:

is a product state,


such that ,

,
IvE Abstract Markov Decision Processes
An Abstract Markov Decision Process [2] (AMDP) hierarchy decomposes large planning problems into a series of subproblems with local reward and transition functions using state and action abstraction.
Definition 4
(Abstract MDP): An AMDP is a 6tuple . These are the usual MDP components, with the addition of , a state projection function to map states from the original environment MDP into the AMDP abstract state space . Actions in the action set of the AMDP are either primitive actions, or are associated with subgoals to solve in the environment MDP. The transition function captures the dynamics of the effects of changes in the AMDP state space once subgoals are completed. is the reward function. is the set of terminal states.
V Technical Approach
At a high level, we use a neural sequencetosequence model to convert an English command to the corresponding LTL expression, which is then translated to a Büchi automaton and then levels of the component AMDP to enable the robot to infer a policy based on the expression. We run a simulation that shows the produced action sequence, executable by a drone in a 3D environment.
Va Abstract Labeled Markov Decision Processes
We propose Abstract Labeled MDPs (ALMDPs) that decomposes an MDP into multiple abstract labeled MDPs which are based on abstract states, actions, and transitions in multiple layers. The labeled MDPs in the lowest level, the th level, and the highest level are denoted by , , and , respectively. The abstract labeled MDP is defined below:
Definition 5
(Abstract Labeled MDP): , where and are a set of states, a set of actions, a transition function, and a reward function, respectively. States in correspond to a combination of atomic propositions in by the labeling functions . The set of atomic propositions is a union of disjoint sets s, where (that is, ). The proposition belongs to , where is the largest value which satisfies that there exists a state which can determine the truth value of .
VB Abstract Product Markov Decision Processes
We propose Abstract Product MDPs (APMDPs) which combine ALMDPs and DBAs to solve ordinary product MDPs efficiently. We furthermore show how our approach handles a combination of atomic propositions in multiple levels. For example, if some of the atomic propositions are defined at level , we cannot guarantee that a plan derived at level or level will satisfy level constraints. This would require working at the lowest level of atomic propositions, thus losing the computational benefit of abstraction and a reduced state space. In all previous hierarchical approaches in this area, when atomic propositions of different levels exist together, the product MDP must be solved at the lowest level (level in this case) to guarantee the satisfaction of the transition constraint that directly affects it. This therefore does not afford the computational benefit of planning at higher levels using ALMDPs. Our approach, however, employs different depths of ALMDPs by decomposing the product MDP into subproblems to benefit from the hierarchical structure when the LTL task includes atomic propositions at the lowest level.
APMDPs combine the automaton of the LTL task specification with ALMDPs. This involves taking an LTL formula in the form of an automaton, converting it to a labeled MDP and decomposing this MDP into several subproblems, each of which are individually solved at the required level of abstraction. We use a running example, as shown in section VC to highlight the process of how decomposed subproblems are solved for the task specification in question. Section VD then explains how any problem can be decomposed into component subproblems and section VE presents the pseudocode for the algorithm for this process. The language grounding component of the system is discussed in VF and finally, VG describes the functioning of the endtoend system.
VC Example Problem
Consider the example in Fig. 3. This figure shows the DBA for the LTL task specification and we can see that the atomic proposition is in level of the abstraction hierarchy, while and are in level . To deal with these different levels in the abstraction hierarchy, we decompose the entire problem into different subproblems. The first subproblem is defined by a tuple and here the agent wants to go to while not visiting other states in the DBA. The condition to reach the desired state, is its goal condition and the condition to stay in the current state, is its stay condition, where and are the current state and the next state, respectively. The function returns or depending on whether the logical expression on the edge is satisfied by the state. The reward function ensures that the agent gets a large positive reward if the goal condition is satisfied and gets a large negative reward if the stay condition is violated and the goal condition is not satisfied. In all other cases, it gets a small negative reward as the time taken increases. Since this subproblem contains atomic propositions at level , we can solve it at level , that is, the lowest level of atomic propositions.
We now consider the latter part of the decomposition, that is, the second subproblem . This has atomic propositions related to level , therefore can be formulated at a higher level of abstraction, that is, level (), allowing for more efficient planning over a smaller state space. In this way, all subproblems can be solved at the desired level to allow for full use of the benefits of abstraction where possible.
VD Subproblem Decomposition
In general, there are paths in a Büchi automaton from the initial state to the accepting state. APMDPs decompose the problem into subproblems each denoted by , which accomplish the LTL task while following the path .
Each problem can be decomposed into subproblems, each formulated by an ALMDP. Each s aims to change the DBA state of the agent from to and the goal condition and the stay condition of are and , respectively. The reward function for the ALMDP is defined by:
(1) 
where , , and is a small negative value.
In this way, APMDPs can consist of () ALMDPs. When we denote the plan for as , the plan for the LTL task is the shortest sequence , where is the state sequence and the is action sequence.
VE Algorithm
The entire algorithm is presented as pseudocode in Algorithm 1. The input task is specified as an LTL expression composed of atomic propositions in the environment and the logical operators defined previously. We translate the LTL formula into a DBA using an existing package called Spot2 (line 4) [25]. Note that the DBA may contain infeasible edges because the translator does not consider the real environment (for example, if the red_room does not exist on the first_floor in a particular gridworld, cannot be ). We handle this by eliminating edges which have contradictions consisting of a logical incompatibility between two or more propositions (line 5), based on specifications of the environment in question. We check the contradiction by looking at the truth table of the formula. We then find all possible paths from the initial state to the accepting state in line 6. The ALMDPs goal and stay conditions are defined through lines 11 to 14, and we then obtain the optimal policy and plan of ALMDPs with a solver of the AMDP (lines 1516). We then select the best plan which has the minimum number of actions (lines 2022).
VF Grounding language to LTL formulae
We train a neural sequencetosequence model to translate natural language commands to LTL expressions. We discuss our language corpus and the model architecture below.
VF1 Corpus
We use Amazon Mechanical Turk (AMT) to collect nonMarkovian natural language commands that also refer to elements in the environment at different levels of abstraction^{1}^{1}1The corpus can be found at https://github.com/h2r/ltlamdp. AMT workers were shown images representing correct and incorrect ways for the robot to complete a task, and asked to give commands that accurately capture the robot’s correct behavior. natural language commands were collected from AMT workers for LTL formulae. We augment these commands to obtain commands for LTL expressions. Augmentation is done by mapping one training sample (for example, “go to the red room” accompanied by ) to similar commands and corresponding LTL expressions for every other possible goal locations. We held aside of the data as the test set to evaluate model performance and trained on all remaining data and perform 5 fold crossvalidation in this manner.
VF2 Sequencetosequence model
As in Gopalan et al. [17]
, we use a neural sequencetosequence model composed of a recurrent neural network (RNN) encoder and decoder to translate each natural language instruction to an LTL formula. It is implemented in PyTorch
[26] and trained for epochs over our corpus, with a learning rate of using the Adam optimizer [27]. We used a dropout of as a regularizer [28].VG Planning for an LTL task
Once a natural language command is translated into an LTL formula, it is then converted into a Büchi automaton with multiple paths from the initial state to the accepting state. Each path is represented and solved with an ALMDP.
Vi Experiments
In this section, we show that our method efficiently generates plans for complex LTL tasks. We evaluate efficiency with the number of backups and the computation time over tasks. We successfully applied the proposed method on a drone.
Via Environment Setup
For simulations, we consider two 3D grid worlds ( and ) of size and , respectively. The smaller world has three floors, each comprised of six rooms, each the size of grid cells. The larger world has six floors, each comprised of six rooms of size . The visually observable elements (grid cells, rooms and floors) form the atomic propositions of the LTL task specifications. Importantly, these elements span different levels of abstraction: landmarks (grid cells) are at level , rooms are at level , and floors are at level . While our simulation environments consist of at least three floors, our robot demonstration is performed in a gridworld with only two floors for compatibility with the maximum height our PiDrone can reach.
ViB Examples in simulation
We consider the tasks below to demonstrate example simulations of our proposed method. We show the language command with the corresponding LTL task specification, the automaton of the LTL expression, and the path found by our proposed approach for each example. This highlights how our method solves a given task while satisfying the constraints of the task. The tasks in question exhibit the complex constraints with nonMarkovian nature and varying levels of abstraction as outlined above. They contain propositions at different levels in the abstraction hierarchy, and contain temporal order constraints by specifying certain subtasks that should be performed before others. The two tasks are:

(“First either go to the second floor or the red room, and then go to the first floor”) 
(“Go to the green room after entering the second floor”)
The execution of both tasks is shown in Fig. 4. The process to solve task for the given LTL task specification is outlined in the left side of the figure. Upon decomposing this task specification as in our proposed method, there are two paths of automaton states. Consider the path corresponding to the ALMDP . This has a goal condition of and a stay condition of . For the path , there are two ALMDPs and , where has a goal condition of and a stay condition of , and has a goal condition of and a stay condition of . Since we can satisfy with only two actions with , the final solution is a plan for .
For task , there exists an infeasible path among paths in the automaton. The first ALMDP in has goal and stay conditions of and , respectively. This problem does not have a solution because the green room is on the second floor, and thus our algorithm does not return a plan. There is, however, a solution for the path . The first ALMDP has a goal condition of and a stay condition of . The second ALMDP has a goal condition of with a stay condition of . The planned path is shown in Fig. 4.
ViC Efficiency
In this section, we evaluate the efficiency of the proposed algorithm by measuring the computing time and the number of backups of the algorithm. The measured computing time includes preprocessing time like translating the LTL expression to a DBA and searching for a path in the DBA, along with the final planning time. The hierarchical structure allows for more efficient planning when unnecessary backup across multiple levels of the hierarchy is limited. We also evaluate the ability of different models to plan without this unnecessary computation. For each problem, the number of backups depends on the number and size of subproblems.
Since planning for an LTL task can be formulated as the product of an automaton and MDP as described in section IVD, our baseline algorithm (called PMDP) is one that solves the product MDP at level using value iteration. We ran random tasks in the aforementioned environments ( and ). The example tasks here are LTL specifications randomly sampled from the set , where , , and are atomic propositions that can be visually observed in our environment (such as landmark_1, green_room, first_floor). We ensure that atomic propositions are sampled from all possible landmarks, rooms, and floors to get a full variety of commands, and ensure that environment constraints are satisfied. For example, if level is sampled, we sample the index of rooms among all possible rooms in that level. The lowest level of sampled atomic propositions is denoted by .
We display the results as histograms plotted in Fig. 5 and Fig. 6. In Fig. 5, the axis denotes the cumulative number of cases evaluated, while the axis denotes the computing time and the number of backups. We plot results for both environments (on the left) and (on the right). The red line shows computing time taken, while the blue line shows the number of backups, and the dotted line refers to the PMDP (our baseline) while the bold line refers to the APMDP (our proposed model). For the corresponding number of cases on the axis, we can see the time taken or the number of backups, as plotted by the four lines. In both environments and , the APMDP finds solutions with a shorter computing time and a smaller number of backups in the majority of cases. The size of environment is much larger than , and it therefore takes longer computing time and more backups. It should be noted that APMDP perform significantly better than PMDP given the benefits of abstraction in large states spaces.
In Fig. 6, to compare the efficiency of the two algorithms we plot the ratio (that is, APMDP to PMDP) for the same metrics. For both computing time and number of backups, a ratio less than indicates that APMDP is more efficient than PMDP. The yaxis shows the cumulative number of cases, while the axis shows the ratio of the computing time taken. For a corresponding ratio on the axis (, for example) we can see the number of cases that had a ratio ). Therefore, a line that solves a larger number of cases (out of ) at a smaller ratio is a better solution. The four lines refer to different environments when solved at different levels. For example, (, ) refers to the smaller environment at level . In , APMDP is better in among the cases with respect to the computing time and for cases with respect to the number of backups. In , APMDP is better in among cases with respect to the computing time and for cases with respect to the number of backups. The APMDP decomposes the problem and therefore has to solve more MDPs than the PMDP. This means that in certain cases, especially in the smaller environment where abstraction is unnecessary, this approach is not faster. However, in the larger environment, employing abstraction increases the efficiency by reducing the size of each problem. To clearly show the effect of abstraction, we run simulations with atomic propositions in higher levels ( and ), to assess how much abstraction helps when dealing with highlevel commands. In , the computing time ratio is less than in cases and the number of backups ratio is less than in cases. In the larger environment , the computing time ratio and the number of backups ratio are less than in all cases.
ViD Language grounding results
We observe that the accuracy of the model drops on the heldout LTL commands. This problem of zeroshot generalization (specifically, the ability to generalize to samples unseen during training) has been widely studied [29, 30, 17] for neural sequencetosequence models that cannot handle compositionality and the ability of models to learn meaning representations for given natural language sentences [31]. We also observe cases where changes in word order affect the translated LTL output of the model. Consider the command “avoid the blue room until you go to landmark 1”, (blue_room landmark_1) for example. Variations in our collected data include sentences like “until you go to landmark 1, always avoid the blue room” that change the ordering of referent words (blue_room and landmark_1) which are occasionally confused, and mapped to incorrect expressions such as (landmark_1 blue_room). However, in the drone demonstrations, the sequencetosequence model correctly translate the given language commands (converted from speech) into LTL task specifications that are then solved using our proposed method.
ViE Robot Experiments
In addition to the simulations described above, we also test our proposed method on a drone. The PiDrone [32] is a quadcopter drone that is equipped with one downwardfacing infrared sensor with a maximum range of to measure the drone’s altitude, and one downwardfacing camera for localization over a textured surface. The drone’s flight space is a surface. We divide the space into a gridbased environment, as shown in Fig. 7, consisting of floors, each with rooms, and each room is a square made up of cells (each cell is ). The action space for the drone in the gridbased environment is (north, south, east, west, up, down), where each action changes the drone’s location by cell. We visualize the environment through mixed reality using a Microsoft HoloLens [33]. Colored rooms and landmarks (boxes each with the size of cell) to aid path planning and specify goal positions were set up in a Unity3D virtual environment running on the HoloLens.
In our demonstration, the drone is given a natural language instruction through speech. This is converted using Google’s speechtotext, and then translated by our trained sequencetosequence model into an LTL formula to be solved by the APMDP framework in real time. The action sequence output by APMDP for the LTL expression is then used for the drone’s navigation. The natural language commands were: “Navigate to the red room”, “Avoid landmark two until you have been to the blue room”, “Move to the orange room then the purple room”, “Go to landmark three then go to the yellow room”. Video recordings of the drone demonstrations can be found at https://youtu.be/zjtMEGUmkd8.
Vii Conclusion
This paper introduces a novel approach to combine the handling of nonMarkovian task specifications in large environments by grounding complex language to LTL expressions and then decomposing tasks within an abstraction hierarchy to plan efficiently at higher levels where possible. We show that planning with abstractions allows the robot to correctly reach the goal location more efficiently, in terms of computing time and backups required, in over of tasks in a small environment and over of tasks in a larger environment. We also show that this method of abstraction can handle LTL task specifications. Moreover, we present the largest existing dataset of natural language commands mapped to LTL expressions at different levels of abstraction. We demonstrate our approach with a PiDrone that navigates to the goal location along a correct path when given a humanuttered command.
While the language grounding model works fairly well to translate language to LTL formulae, it cannot fully handle expressions unseen during training and cannot always deal with simple changes in wordordering and variations in the language. Future work in this direction can explore compositional models that can handle a wide range of expressions by learning to compose subparts together and then execute the required actions. Future work in the hierarchical setup can explore models that go beyond fixed hierarchies and state abstractions. If the AMDP transition hierarchies can be learned with modellearning methods on the fly, this will enable generalization to unseen environments and the ability to handle and properly execute a plan for a wider range of commands.
Viii Acknowledgments
The authors would like to thank Nakul Gopalan for his insightful comments and edits. This work is supported by the National Science Foundation under grant numbers IIS1637614 and IIS1652561, and the National Aeronautics and Space Administration under grant number NNX16AR61G.
References
 [1] J. MacGlashan, M. BabesVroman, M. desJardins, M. L. Littman, S. Muresan, S. Squire, S. Tellex, D. Arumugam, and L. Yang, “Grounding english commands to reward functions.” in Robotics: Science and Systems, 2015.
 [2] N. Gopalan, M. desJardins, M. L. Littman, J. MacGlashan, S. Squire, S. Tellex, J. Winder, and L. L. Wong, “Planning with abstract markov decision processes,” in ICAPS, 2017.

[3]
G. Konidaris, “Constructing abstraction hierarchies using a skillsymbol
loop,” in
Proc. of the International Joint Conference on Artificial Intelligence
, 2016.  [4] G. Konidaris, L. P. Kaelbling, and T. LozanoPerez, “From skills to symbols: Learning symbolic representations for abstract highlevel planning,” Journal of Artificial Intelligence Research, vol. 61, pp. 215–289, 2018.

[5]
R. S. Sutton, D. Precup, and S. Singh, “Between MDPs and semiMDPs: A framework for temporal abstraction in reinforcement learning,”
Artificial intelligence, vol. 112, no. 12, pp. 181–211, 1999.  [6] D. Arumugam, S. Karamcheti, N. Gopalan, L. L. Wong, and S. Tellex, “Accurately and efficiently interpreting humanrobot instructions of varying granularities,” arXiv preprint arXiv:1704.06616, 2017.
 [7] C. Finucane, G. Jing, and H. KressGazit, “Ltlmop: Experimenting with language, temporal logic and robot control,” in 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010.
 [8] H. KressGazit, G. E. Fainekos, and G. J. Pappas, “Translating structured english to robot controllers,” Advanced Robotics, vol. 22, no. 12, pp. 1343–1359, 2008.
 [9] C. Lignos, V. Raman, C. Finucane, M. Marcus, and H. KressGazit, “Provably correct reactive control from natural language,” Autonomous Robots, vol. 38, no. 1, pp. 89–105, 2015.
 [10] A. Boteanu, T. Howard, J. Arkin, and H. KressGazit, “A model for verifiable grounding and execution of complex natural language instructions,” in 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2016.
 [11] X. C. Ding, S. L. Smith, C. Belta, and D. Rus, “MDP optimal control under temporal logic constraints,” in Decision and Control and European Control Conference (CDCECC), IEEE Conference on, 2011.
 [12] X. Ding, S. L. Smith, C. Belta, and D. Rus, “Optimal control of markov decision processes with linear temporal logic constraints,” IEEE Transactions on Automatic Control, vol. 59, no. 5, pp. 1244–1257, 2014.
 [13] J. Fu and U. Topcu, “Probably approximately correct MDP learning and control with temporal logic constraints,” arXiv preprint arXiv:1404.7073, 2014.
 [14] D. Kasenberg and M. Scheutz, “Interpretable apprenticeship learning with temporal logic specifications,” in IEEE Conference on Decision and Control, 2017.
 [15] E. M. Wolff, U. Topcu, and R. M. Murray, “Robust control of uncertain markov decision processes with temporal logic specifications,” in IEEE Conference on Decision and Control, 2012.
 [16] D. Sadigh, E. S. Kim, S. Coogan, S. S. Sastry, and S. A. Seshia, “A learning based approach to control synthesis of markov decision processes for linear temporal logic specifications,” in IEEE Conference on Decision and Control, 2014.
 [17] N. Gopalan, D. Arumugam, L. Wong, and S. Tellex, “Sequencetosequence language grounding of nonmarkovian task specifications,” in Robotics: Science and Systems, 2018.
 [18] X. Liu and J. Fu, “Compositional planning in markov decision processes: Temporal abstraction meets generalized logic composition,” arXiv preprint arXiv:1810.02497, 2018.
 [19] J. R. Büchi, “On a decision method in restricted second order arithmetic,” in The Collected Works of J. Richard Büchi. Springer, 1990, pp. 425–435.
 [20] T. D. Kulkarni, K. Narasimhan, A. Saeedi, and J. Tenenbaum, “Hierarchical deep reinforcement learning: Integrating temporal abstraction and intrinsic motivation,” in Advances in Neural Information Processing Systems 29, D. D. Lee, M. Sugiyama, U. V. Luxburg, I. Guyon, and R. Garnett, Eds.
 [21] G. E. Fainekos, A. Girard, H. KressGazit, and G. J. Pappas, “Temporal logic motion planning for dynamic robots,” Automatica, vol. 45, no. 2, pp. 343 – 352, 2009.
 [22] J. McMahon and E. Plaku, “Samplingbased tree search with discrete abstractions for motion planning with dynamics and temporal logic,” in Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014.
 [23] K. Cho, J. Suh, C. J. Tomlin, and S. Oh, “Costaware path planning under cosafe temporal logic specifications,” IEEE Robotics and Automation Letters, vol. 2, no. 4, pp. 2308–2315, 2017.
 [24] Y. Oh, K. Cho, Y. Choi, and S. Oh, “Robust multilayered samplingbased path planning for temporal logicbased missions,” in IEEE Conference on Decision and Control, 2017.
 [25] A. DuretLutz, A. Lewkowicz, A. Fauchille, T. Michaud, E. Renault, and L. Xu, “Spot 2.0 — a framework for LTL and automata manipulation,” in Proc. of the International Symposium on Automated Technology for Verification and Analysis (ATVA’16), ser. Lecture Notes in Computer Science. Springer, 2016.
 [26] A. Paszke, S. Gross, S. Chintala, G. Chanan, E. Yang, Z. DeVito, Z. Lin, A. Desmaison, L. Antiga, and A. Lerer, “Automatic differentiation in pytorch,” 2017.
 [27] D. P. Kingma and J. Ba, “Adam: A method for stochastic optimization,” arXiv preprint arXiv:1412.6980, 2014.

[28]
N. Srivastava, G. Hinton, A. Krizhevsky, I. Sutskever, and R. Salakhutdinov,
“Dropout: a simple way to prevent neural networks from overfitting,”
The Journal of Machine Learning Research
, vol. 15, no. 1, pp. 1929–1958, 2014.  [29] B. M. Lake and M. Baroni, “Still not systematic after all these years: On the compositional skills of sequencetosequence recurrent networks,” arXiv preprint arXiv:1711.00350, 2017.
 [30] P. Koehn and R. Knowles, “Six challenges for neural machine translation,” arXiv preprint arXiv:1706.03872, 2017.
 [31] I. Dasgupta, D. Guo, A. Stuhlmüller, S. J. Gershman, and N. D. Goodman, “Evaluating compositionality in sentence embeddings,” CoRR, vol. abs/1802.04302, 2018. [Online]. Available: http://arxiv.org/abs/1802.04302
 [32] I. Brand, J. Roy, A. Ray, J. Oberlin, and S. Oberlix, “Pidrone: An autonomous educational drone using raspberry pi and python,” in IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2018.
 [33] H. Chen, A. S. Lee, M. Swift, and J. C. Tang, “3d collaboration method over hololens™ and skype™ end points,” in Proc. of the 3rd International Workshop on Immersive Media Experiences, 2015.