Logo Logo
Eine Ebene nach oben
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 1

Konferenzbeitrag

Liu, Siyuan; Saoud, Adnane; Jagtap, Pushpak; Dimarogonas, Dimos V. und Zamani, Majid (2022): Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. IEEE 61st Conference on Decision and Control (CDC), Cancun, Mexico, 06-09 December 2022. In: 2022 IEEE 61st Conference on Decision and Control (CDC), Piscataway, NJ, USA: IEEE. S. 2184-2189

Diese Liste wurde am Sat May 11 22:21:39 2024 CEST erstellt.