Zhang, S.; Durfee, E.; Singh, S. Querying to Find a Safe Policy under Uncertain Safety Constraints in Markov Decision Processes. AAAI 2020, 34, 2552-2559.