Logo Logo
Group by: Item Type | Date
Number of items: 1.

Conference or Workshop Item

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), pp. 7015-7021

This list was generated on Sun Oct 6 00:18:06 2024 CEST.