Secure-by-Construction Synthesis for Control Systems Journal Article

Overview

CU Boulder Authors

• Zamani, Majid

publication date

• June 1, 2025

Date in CU Experts

• June 11, 2025 8:14 AM

Full Author List

• Zhong B; Liu S; Caccamo M; Zamani M

author count

• 4

citation count

• 0

published in

• IEEE Transactions on Automatic Control  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0018-9286

Electronic International Standard Serial Number (EISSN)

• 1558-2523

Digital Object Identifier (DOI)

• https://doi.org/10.1109/tac.2025.3532541

Additional Document Info

start page

• 4170

end page

• 4177

volume

• 70

issue

• 6