Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control
Book title Buchtitel
Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control
Publisher Herausgeber
IEEE
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Haghighi, Iman ; Mehdipour, Noushin ; Bartocci, Ezio ; Belta, Calin | Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics | Konferenzbeitrag Inproceedings  | 2019 |