Reachability Games on Recursive Hybrid Automata Conference Proceeding

Overview

CU Boulder Authors

• Trivedi, Ashutosh

publication date

• September 23, 2015

has restriction

• closed

Date in CU Experts

• February 1, 2020 3:06 AM

Full Author List

• Krishna SN; Manasa L; Trivedi A

Full Editor List

• Grandi F; Lange M; Lomuscio A

author count

• 3

citation count

• 1

presented at event

• 22nd International Symposium on Temporal Representation and Reasoning (TIME)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 1530-1311

Digital Object Identifier (DOI)

• https://doi.org/10.1109/time.2015.27

Additional Document Info

start page

• 150

end page

• 159