Křetínský, Meggendorfer, 2020. Of Cores: A Partial-Exploration Framework for Markov Decision Processes.