Mean-Payoff Games on Timed Automata Conference Proceeding

Overview

CU Boulder Authors

• Trivedi, Ashutosh

publication date

• January 1, 2016

Date in CU Experts

• February 1, 2017 8:33 AM

Full Author List

• Guha S; Jurdzinski M; Krishna SN; Trivedi A

author count

• 4

Other Profiles

Digital Object Identifier (DOI)

• https://doi.org/10.4230/lipics.fsttcs.2016.44

Additional Document Info

start page

• 44:1

end page

• 44:14