Controller synthesis for linear temporal logic and steady-state specifications Journal Article uri icon

Overview

publication date

  • June 1, 2024

has restriction

  • closed

Date in CU Experts

  • May 22, 2024 10:06 AM

Full Author List

  • Velasquez A; Alkhouri I; Beckus A; Trivedi A; Atia G

author count

  • 5

citation count

  • 0

Other Profiles

International Standard Serial Number (ISSN)

  • 1387-2532

Electronic International Standard Serial Number (EISSN)

  • 1573-7454

Additional Document Info

volume

  • 38

issue

  • 1

number

  • ARTN 17