What's decidable about recursive hybrid automata? Conference Proceeding

Overview

CU Boulder Authors

• Trivedi, Ashutosh

publication date

• April 14, 2015

has restriction

• closed

Date in CU Experts

• January 29, 2016 1:53 AM

Full Author List

• Krishna SN; Manasa L; Trivedi A

author count

• 3

presented at event

• HSCC '15: 18th International Conference on Hybrid Systems: Computation and Control  Conference

Other Profiles

Digital Object Identifier (DOI)

• https://doi.org/10.1145/2728606.2728624

Additional Document Info

start page

• 31

end page

• 40