Expected Reachability-Price Games Conference Proceeding

Overview

CU Boulder Authors

• Trivedi, Ashutosh

publication date

• August 27, 2019

has restriction

• closed

Date in CU Experts

• February 1, 2020 3:13 AM

Full Author List

• Guha S; Trivedi A

Full Editor List

• Andre E; Stoelinga M

author count

• 2

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Electronic International Standard Serial Number (EISSN)

• 1611-3349

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-030-29662-9_17

International Standard Book Number (ISBN) 13

• 978-3-030-29661-2

Additional Document Info

start page

• 282

end page

• 300

volume

• 11750