Sertac Karaman, Ricardo G. Sanfelice, Emilio Frazzoli. Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications. In Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, México. pages 2117-2122, IEEE, 2008. [doi]
@inproceedings{KaramanSF08,
title = {Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications},
author = {Sertac Karaman and Ricardo G. Sanfelice and Emilio Frazzoli},
year = {2008},
doi = {10.1109/CDC.2008.4739370},
url = {http://dx.doi.org/10.1109/CDC.2008.4739370},
tags = {control systems, logic},
researchr = {https://researchr.org/publication/KaramanSF08},
cites = {0},
citedby = {0},
pages = {2117-2122},
booktitle = {Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, México},
publisher = {IEEE},
}