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]
Abstract is missing.