Multiple mobile robot task and motion planning: A survey
With recent advances in mobile robotics, autonomous systems, and artificial intelligence,
there is a growing expectation that robots are able to solve complex problems. Many of …
there is a growing expectation that robots are able to solve complex problems. Many of …
Reward machines: Exploiting reward function structure in reinforcement learning
Reinforcement learning (RL) methods usually treat reward functions as black boxes. As
such, these methods must extensively interact with the environment in order to discover …
such, these methods must extensively interact with the environment in order to discover …
[PDF][PDF] LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning.
Abstract In Reinforcement Learning (RL), an agent is guided by the rewards it receives from
the reward function. Unfortunately, it may take many interactions with the environment to …
the reward function. Unfortunately, it may take many interactions with the environment to …
On the expressivity of markov reward
Reward is the driving force for reinforcement-learning agents. This paper is dedicated to
understanding the expressivity of reward as a way to capture tasks that we would want an …
understanding the expressivity of reward as a way to capture tasks that we would want an …
Using reward machines for high-level task specification and decomposition in reinforcement learning
In this paper we propose Reward Machines {—} a type of finite state machine that supports
the specification of reward functions while exposing reward function structure to the learner …
the specification of reward functions while exposing reward function structure to the learner …
A survey on interpretable reinforcement learning
Although deep reinforcement learning has become a promising machine learning approach
for sequential decision-making problems, it is still not mature enough for high-stake domains …
for sequential decision-making problems, it is still not mature enough for high-stake domains …
Control synthesis from linear temporal logic specifications using model-free reinforcement learning
We present a reinforcement learning (RL) frame-work to synthesize a control policy from a
given linear temporal logic (LTL) specification in an unknown stochastic environment that …
given linear temporal logic (LTL) specification in an unknown stochastic environment that …
Symbolic plans as high-level instructions for reinforcement learning
Reinforcement learning (RL) agents seek to maximize the cumulative reward obtained when
interacting with their environment. Users define tasks or goals for RL agents by designing …
interacting with their environment. Users define tasks or goals for RL agents by designing …
Modular design patterns for hybrid learning and reasoning systems: a taxonomy, patterns and use cases
The unification of statistical (data-driven) and symbolic (knowledge-driven) methods is
widely recognized as one of the key challenges of modern AI. Recent years have seen a …
widely recognized as one of the key challenges of modern AI. Recent years have seen a …
Ltl2action: Generalizing ltl instructions for multi-task rl
We address the problem of teaching a deep reinforcement learning (RL) agent to follow
instructions in multi-task environments. Instructions are expressed in a well-known formal …
instructions in multi-task environments. Instructions are expressed in a well-known formal …