@Article{Gir14,
author={S. Giro},
title={Optimal Schedulers vs Optimal Bases: An approach for efficient exact solving of Markov decision processes},
journal={Theoretical Computer Science},
year={2013},

volume={538},
number={},
pages={70–83},
publisher={},
month={},
note={},
key={}
}