Multiple mobile robot task and motion planning: A survey

L Antonyshyn, J Silveira, S Givigi, J Marshall - ACM Computing Surveys, 2023 - dl.acm.org
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 …

Reward machines: Exploiting reward function structure in reinforcement learning

RT Icarte, TQ Klassen, R Valenzano… - Journal of Artificial …, 2022 - jair.org
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 …

[PDF][PDF] LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning.

A Camacho, RT Icarte, TQ Klassen, RA Valenzano… - IJCAI, 2019 - ijcai.org
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 …

On the expressivity of markov reward

D Abel, W Dabney, A Harutyunyan… - Advances in …, 2021 - proceedings.neurips.cc
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 …

Using reward machines for high-level task specification and decomposition in reinforcement learning

RT Icarte, T Klassen, R Valenzano… - … on Machine Learning, 2018 - proceedings.mlr.press
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 …

A survey on interpretable reinforcement learning

C Glanois, P Weng, M Zimmer, D Li, T Yang, J Hao… - Machine Learning, 2024 - Springer
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 …

Control synthesis from linear temporal logic specifications using model-free reinforcement learning

AK Bozkurt, Y Wang, MM Zavlanos… - 2020 IEEE International …, 2020 - ieeexplore.ieee.org
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 …

Symbolic plans as high-level instructions for reinforcement learning

L Illanes, X Yan, RT Icarte, SA McIlraith - Proceedings of the …, 2020 - ojs.aaai.org
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 …

Modular design patterns for hybrid learning and reasoning systems: a taxonomy, patterns and use cases

M van Bekkum, M de Boer, F van Harmelen… - Applied …, 2021 - Springer
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 …

Ltl2action: Generalizing ltl instructions for multi-task rl

P Vaezipoor, AC Li, RAT Icarte… - … on Machine Learning, 2021 - proceedings.mlr.press
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 …