@inproceedings{Alibekov2016SymbolicMethodDeriving,
title={Symbolic method for deriving policy in reinforcement learning},
author={E. Alibekov and J. Kubal{\'\i}k and R. Babu\v{s}ka},
booktitle={Proceedings 55th {IEEE} Conference on Decision and Control ({CDC})},
pages={2789--2795},
address = {Las Vegas, USA},
month=dec,
year={2016}
}