Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. Model predictive control with signal temporal logic specifications. In 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014. pages 81-87, IEEE, 2014. [doi]
@inproceedings{RamanDMMSS14, title = {Model predictive control with signal temporal logic specifications}, author = {Vasumathi Raman and Alexandre Donzé and Mehdi Maasoumy and Richard M. Murray and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia}, year = {2014}, doi = {10.1109/CDC.2014.7039363}, url = {http://dx.doi.org/10.1109/CDC.2014.7039363}, researchr = {https://researchr.org/publication/RamanDMMSS14}, cites = {0}, citedby = {0}, pages = {81-87}, booktitle = {53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014}, publisher = {IEEE}, isbn = {978-1-4799-7746-8}, }