![](/img/cover-not-exists.png)
[IEEE 2018 IEEE Conference on Decision and Control (CDC) - Miami Beach, FL (2018.12.17-2018.12.19)] 2018 IEEE Conference on Decision and Control (CDC) - Metrics for Signal Temporal Logic Formulae
Madsen, Curtis, Vaidyanathan, Prashant, Sadraddini, Sadra, Vasile, Cristian-Ioan, DeLateur, Nicholas A., Weiss, Ron, Densmore, Douglas, Belta, CalinYear:
2018
Language:
english
DOI:
10.1109/cdc.2018.8619541
File:
PDF, 1.21 MB
english, 2018