Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications Conference Proceeding

Best Open Access

Overview

CU Boulder Authors

publication date

December 6, 2022

has restriction

green

Date in CU Experts

January 28, 2023 1:27 AM

Full Author List

Ho QH; Ilyes RB; Sunberg ZN; Lahijanian M

author count

4

citation count

3

published in

Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control Journal

presented at event

IEEE 61st Conference on Decision and Control (CDC) Conference

Other Profiles

International Standard Serial Number (ISSN)

0743-1546

Electronic International Standard Serial Number (EISSN)

2576-2370

Digital Object Identifier (DOI)

https://doi.org/10.1109/cdc51059.2022.9993090

Additional Document Info

start page

3243

end page

3249