Two-Player Reachability-Price Games on Single-Clock Timed Automata 英文论文文献.docVIP

Two-PlayerReachability-PriceGamesonSingle-ClockTimed Automata Micha?Rutkowski DepartmentofComputerScience,UniversityofWarwick,UK Westudytwoplayerreachability-pricegamesonsingle-clocktimedautomata. Theproblemisas follows: givenastateoftheautomaton,determinewhetherthe?rstplayercanguaranteereaching oneofthedesignatedgoallocations.Ifagoallocationcanbereachedthenwealsowanttocompute the optimum price of doing so. Our contribution is twofold. First, we develop a theory of cost functions,whichprovideacomprehensivemethodologyfortheanalysisofthisproblem.Thistheory allowsustoestablishoursecondcont