External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Iman Haghighi

This author has not been identified. Look up 'Iman Haghighi' in Google

Noushin Mehdipour

This author has not been identified. Look up 'Noushin Mehdipour' in Google

Ezio Bartocci

This author has not been identified. Look up 'Ezio Bartocci' in Google

Calin Belta

This author has not been identified. Look up 'Calin Belta' in Google
runs on