Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications Conference Proceeding

Overview

CU Boulder Authors

Zamani, Majid

publication date

December 13, 2021

has restriction

closed

Date in CU Experts

January 27, 2022 9:02 AM

Full Author List

Xie Y; Yin X; Li S; Zamani M

author count

4

citation count

1

published in

Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control Journal

presented at event

60th IEEE Conference on Decision and Control (CDC) Conference

Other Profiles

International Standard Serial Number (ISSN)

0743-1546

Electronic International Standard Serial Number (EISSN)

2576-2370

Digital Object Identifier (DOI)

https://doi.org/10.1109/cdc45484.2021.9683745

Additional Document Info

start page

7015

end page

7021