Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic.

Ryeonggu Kwon Gihwon Kwon

Published in: Syst. (2023)

Keyphrases

linear temporal logic
reinforcement learning
temporal logic
model checking
bounded model checking
state space
machine learning
learning algorithm
multi agent
function approximation
dynamic programming
general purpose
data flow