Verification of approximate infinite-step opacity using barrier certificates
Conference Proceeding
Overview
publication date
- July 12, 2022
Date in CU Experts
- November 5, 2022 12:59 PM
Full Author List
- Kalat ST; Liu S; Zamani M
author count
- 3
citation count
- 0
presented at event
- European Control Conference (ECC) Conference
Additional Document Info
start page
- 175
end page
- 180