Declarative Specifications for Efficient and Safe Reinforcement Learning
This dissertation presents a work in safe RL, where agents must also respect safety constraints using pure-past linear-time temporal logic (PPLTL), and presents how to enforce safety constraints using pure-past linear-time temporal logic (PPLTL).
Giovanni Varricchione
· 0 citations