![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | Date
Jump to: Conference or Workshop Item
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