Compositional Synthesis of Controllers via Co-Biichi Barrier Certificates Conference Proceeding

Overview

CU Boulder Authors

Zamani, Majid

publication date

July 1, 2024

Date in CU Experts

December 31, 2024 7:15 AM

Full Author List

Galarza-Jimenez F; Murali V; Zamani M

author count

3

citation count

0

published in

IFAC-PapersOnLine Journal

presented at event

8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) Conference

Other Profiles

International Standard Serial Number (ISSN)

2405-8963

Digital Object Identifier (DOI)

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

Additional Document Info

start page

57

end page

62

volume

58

issue

11