On Choice of Loss Functions for Neural Control Barrier Certificates Conference Proceeding

Overview

CU Boulder Authors

publication date

October 2, 2025

Date in CU Experts

February 2, 2026 2:41 AM

Full Author List

Trivedi A; Nadali A; Zamani M

author count

3

presented at event

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-032-05792-1_25