![](/img/cover-not-exists.png)
[IEEE 2019 IEEE 58th Conference on Decision and Control (CDC) - Nice, France (2019.12.11-2019.12.13)] 2019 IEEE 58th Conference on Decision and Control (CDC) - Average-based Robustness for Continuous-Time Signal Temporal Logic
Mehdipour, Noushin, Vasile, Cristian-Ioan, Belta, CalinYear:
2019
DOI:
10.1109/cdc40024.2019.9029989
File:
PDF, 815 KB
2019