Logo Logo
Hilfe
Hilfe
Switch Language to English

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

Volltext auf 'Open Access LMU' nicht verfügbar.
Dokument bearbeiten Dokument bearbeiten