Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, and Calin Belta. Metrics for Signal Temporal Logic Formulae. In IEEE Conference on Decision and Control (CDC), pages 1542–1547, Miami Beach, FL, USA, December 2018. doi:10.1109/CDC.2018.8619541.
Published date:
Monday, December 17, 2018
Type:
PDF:
BibTex: