Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta. Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019. pages 4361-4366, IEEE, 2019. [doi]
@inproceedings{HaghighiMBB19,
title = {Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics},
author = {Iman Haghighi and Noushin Mehdipour and Ezio Bartocci and Calin Belta},
year = {2019},
doi = {10.1109/CDC40024.2019.9029429},
url = {https://doi.org/10.1109/CDC40024.2019.9029429},
researchr = {https://researchr.org/publication/HaghighiMBB19},
cites = {0},
citedby = {0},
pages = {4361-4366},
booktitle = {58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019},
publisher = {IEEE},
}