"Cautious Reinforcement Learning with Logical Constraints."

Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics