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
| Dokumententyp: | Konferenzbeitrag (Paper) |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| Sprache: | Englisch |
| Dokumenten ID: | 94528 |
| Datum der Veröffentlichung auf Open Access LMU: | 07. Feb. 2023, 14:30 |
| Letzte Änderungen: | 07. Feb. 2023, 14:30 |
- Dokument bearbeiten
