@inproceedings{STBC12,
 author = {Mária Svoreňová and Jana Tůmová and Jiří Barnat and Ivana Černá},
 booktitle = {IEEE Conference on Decision and Control (CDC 2012)},
 pages = {6749--6754},
 publisher = {Omnipress for IEEE Control Systems Society},
 title = {{Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints}},
 year = {2012}
}