@Article{KM20,
author={Jan K\v{r}et\'{\i}nsk{\'y} and Tobias Meggendorfer},
title={Of Cores: A Partial-Exploration Framework for Markov Decision Processes},
journal={Logical Methods in Computer Science},
year={2020},

volume={16},
number={4},
pages={},
publisher={},
month={},
note={},
key={}
}