OmegaThreads: Symbolic Controller Design for omega-regular Objectives Conference Proceeding

Overview

CU Boulder Authors

Zamani, Majid

publication date

May 19, 2021

has restriction

closed

Date in CU Experts

March 25, 2023 6:45 AM

Full Author List

Khaled M; Zamani M

author count

2

presented at event

24th ACM International Conference on Hybrid Systems Computation and Control (HSCC) Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1145/3447928.3456652