Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software Conference Proceeding uri icon

Overview

publication date

  • April 12, 2016

has restriction

  • bronze

Date in CU Experts

  • June 17, 2016 10:47 AM

Full Author List

  • Zutshi A; Sankaranarayanan S; Deshmukh JV; Jin X

author count

  • 4

citation count

  • 6

Other Profiles

Additional Document Info

start page

  • 135

end page

  • 144