Reward Machines for Signal Temporal Logic
Researchers introduced a novel automata-based approach for reinforcement learning from Signal Temporal Logic (STL) specifications, constructing a timed alternating automaton to provide efficient memory and Markovian rewa…