Formal Verification of Switched Systems via Path-Complete Closure Certificates Journal Article

Overview

CU Boulder Authors

Zamani, Majid

publication date

January 1, 2026

Date in CU Experts

October 13, 2026 1:51 AM

Full Author List

Iraji R; Galarza-Jimenez F; Zamani M

author count

3

published in

IEEE Control Systems Letters Journal

Other Profiles

Electronic International Standard Serial Number (EISSN)

2475-1456

Digital Object Identifier (DOI)

https://doi.org/10.1109/lcsys.2026.3739034

Additional Document Info

start page

1

end page

1