Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.