@inproceedings {51,
	title = {Sampling-based stochastic optimal control with metric interval temporal logic specifications},
	booktitle = {IEEE Multi-Conference on Systems and Control (MSC)},
	year = {2016},
	doi = {10.1109/CCA.2016.7587911},
	author = {Felipe J. Montana and Jun Liu and Tony J. Dodd}
}
