On the uniqueness of solution for the Bellman equation of LTL objectives
Surrogate rewards for linear temporal logic (LTL) objectives are commonly utilized in
planning problems for LTL objectives. In a widely-adopted surrogate reward approach, two …
planning problems for LTL objectives. In a widely-adopted surrogate reward approach, two …
Tractable Reinforcement Learning for Signal Temporal Logic Tasks With Counterfactual Experience Replay
We investigate the control synthesis problem for Markov decision processes (MDPs) with
unknown transition probabilities under signal temporal logic (STL) specifications. Our …
unknown transition probabilities under signal temporal logic (STL) specifications. Our …
[PDF][PDF] Robust Reinforcement Learning for Linear Temporal Logic Specifications with Finite Trajectory Duration
SM Moghaddam, YV Pant, S Fischmeister - assets.pubpub.org
Abstract Linear Temporal Logic (LTL), a formal behavioral specification language, offers a
mathematically unambiguous and succinct way to represent operating requirements for a …
mathematically unambiguous and succinct way to represent operating requirements for a …