@inproceedings{1074138,
author = {Svoreňová, Mária and Černá, Ivana and Belta, Calin},
booktitle = {Proceedings of The 2013 American Control Conference},
keywords = {optimal control; receding horizon; temporal logic; finite deterministic transition system; robots; persistent surveillance},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Neuveden},
isbn = {978-1-4799-0177-7},
pages = {4399 - 4404},
publisher = {Institute of Electrical and Electronics Engineers ( IEEE )},
title = {Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6580517&refinements%3D4279887434%26sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A6579790%29},
year = {2013}
}