Controller Synthesis for Omega-Regular and Steady-State Specifications Conference Proceeding uri icon

Overview

publication date

  • May 1, 2022

Date in CU Experts

  • February 2, 2023 1:34 AM

Full Author List

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

author count

  • 5