mlsanityData to 7 Oct 2026

Online Learning of Non-Markovian Reward Models

arXiv 2009.12600 ↗First posted 26 Sep 2020cs.AIcited by 9

On the map: LLM alignment / RLHF / preference optimisation → Reward modeling and RLHF

Abstract (arXiv)

There are situations in which an agent should receive rewards only after having accomplished a series of previous tasks, that is, rewards are non-Markovian. One natural and quite general way to represent history-dependent rewards is via a Mealy machine, a finite state automaton that produces output sequences from input sequences. In our formal setting, we consider a Markov decision process (MDP) that models the dynamics of the environment in which the agent evolves and a Mealy machine synchronized with this MDP to formalize the non-Markovian reward function. While the MDP is known by the agent, the reward function is unknown to the agent and must be learned. Our approach to overcome this challenge is to use Angluin's L^* active learning algorithm to learn a Mealy machine representing the underlying non-Markovian reward machine (MRM). Formal methods are used to determine the optimal strategy for answering so-called membership queries posed by L^*. Moreover, we prove that the expected reward achieved will eventually be at least as much as a given, reasonable value provided by a domain expert. We evaluate our framework on three problems. The results show that using L^* to learn an MRM in a non-Markovian reward decision process is effective.

Key facts. Cited by 9 papers in the map (data through 7 Oct 2026). Placed in Reward modeling and RLHF, one of 10 directions in LLM alignment / RLHF / preference optimisation. Builds on 7 of its 30 references that are in the map. First posted on arXiv 26 Sep 2020.

Builds on

7 of 30 references.

References · 7

  1. 2014Adam: A Method for Stochastic Optimizationcited by 36,960
  2. 2017Safe Reinforcement Learning via Shieldingcited by 427
  3. 2019End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Taskscited by 256
  4. 2016Safe Exploration in Finite Markov Decision Processes with Gaussian Processescited by 72
  5. 2018Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specificationscited by 69
  6. 2018Logically-Constrained Neural Fitted Q-Iterationcited by 17
  7. 2018Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraintscited by 8

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2021: 2; 2022: 2; 2023: 2; 2024: 1; 2025: 1; 2026: 1.

9 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2020Learning Non-Markovian Reward Models in MDPs
  2. 2019Reinforcement Learning with Non-Markovian Rewards
  3. 2024Beyond Simple Sum of Delayed Rewards: Non-Markovian Reward Modeling for Reinforcement Learning
  4. 2022Non-Markovian Reward Modelling from Trajectory Labels via Interpretable Multiple Instance Learning
  5. 2024Bayesian Inverse Reinforcement Learning for Non-Markovian Rewards
  6. 2021Reinforcement Learning in Reward-Mixing MDPs
  7. 2025Learning Reward Machines from Partially Observed Policies
  8. 2024Tractable Offline Learning of Regular Decision Processes