Stochastic Timed Games Revisited Conference Proceeding

Overview

CU Boulder Authors

• Trivedi, Ashutosh

publication date

• January 1, 2016

Date in CU Experts

• February 1, 2017 8:31 AM

Full Author List

• Akshay S; Bouyer P; Krishna SN; Manasa L; Trivedi A

author count

• 5

Other Profiles

Digital Object Identifier (DOI)

• https://doi.org/10.4230/lipics.mfcs.2016.8

Additional Document Info

start page

• 8:1

end page

• 8:14