Department of Computer Science, The University of Texas at Austin, Austin, TX, USA
Greg Anderson, Swarat Chaudhuri, Isil Dillig
reinforcement learning;safe learning;safe exploration
Guiding Safe Exploration with Weakest Preconditions