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

Overview

publication date

  • April 12, 2016

Full Author List

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

Other Profiles

Additional Document Info

start page

  • 135

end page

  • 144