FORM: Learning Expressive and Transferable First-Order Logic Reward Machines

Leo Ardon, Daniel Furelos-Blanco, Roko Parac +1

Reward machines (RMs) are an effective approach for addressing non-Markovian rewards in reinforcement learning (RL) through finite-state machines. Traditional RMs, which label edge…