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

2021

Xie, Yifan; Yin, Xiang; Li, Shaoyuan und Zamani, Majid (2021): Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications. 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, 14-17 December 2021. In: 2021 60th IEEE Conference on Decision and Control (CDC), S. 7015-7021

Diese Liste wurde am Sat Dec 14 19:25:43 2024 CET erstellt.

Open Access LMU verwendet EPrints 3, das an der School of Electronics and Computer Science der Universität Southampton entwickelt wurde.
Impressum − Datenschutz