Formally Verified Neural Network Control Barrier Certificates for Unknown Systems Conference Proceeding

Overview

CU Boulder Authors

Zamani, Majid

publication date

July 9, 2023

Date in CU Experts

April 24, 2024 6:57 AM

Full Author List

Anand M; Zamani M

author count

2

citation count

3

published in

IFAC-PapersOnLine Journal

presented at event

22nd World Congress of the International Federation of Automatic Control (IFAC) Conference

Other Profiles

International Standard Serial Number (ISSN)

2405-8963

Digital Object Identifier (DOI)

https://doi.org/10.1016/j.ifacol.2023.10.1219

Additional Document Info

start page

2431

end page

2436

volume

56

issue

2