www.lmu.de
|
UB
|
Browse
|
Help
Advanced Search
Deutsch
Login
Create Account
Admin
Home
Browse
Help
Faculties
Research Centers
Persons
Subjects
Keimelion
Ludovico-Maximilianea
MALTE
Advanced Search
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
JSON_EPUB
JSON_EPUB_DOCTYPES
JSON_EPUB_FSP
JSON_EPUB_NEW
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
RSS 1.0
RSS 2.0
Group 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
This list was generated on
Sun Oct 6 00:18:06 2024 CEST
.