Reward machines for signal temporal logic
Read the original at arxiv.org→arXiv:2608.13625v1 Announce Type: new Abstract: Signal temporal logic (STL) provides a formal language for specifying real-time properties of real-valued observations, along with a quantitative robustness score for...
Original headline: "Reward Machines for Signal Temporal Logic"
Coverage timeline
- Aug 17, 04:00 UTC arXiv cs.AI lead source Reward Machines for Signal Temporal Logic