Restructuring Dynamical Systems for Inductive Verification Journal Article

• Best Open Access

Overview

CU Boulder Authors

• Trivedi, Ashutosh
• Zamani, Majid

publication date

• January 1, 2023

has restriction

• gold

Date in CU Experts

• July 19, 2023 5:15 AM

Full Author List

• Murali V; Trivedi A; Zamani M

author count

• 3

Other Profiles

Electronic International Standard Serial Number (EISSN)

• 2694-085X

Digital Object Identifier (DOI)

• https://doi.org/10.1109/ojcsys.2023.3294098

Additional Document Info

start page

• 200

end page

• 207

volume

• 2