Matches in SemOpenAlex for { <https://semopenalex.org/work/W2732779076> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2732779076 abstract "Priced timed (game) automata extends timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability games for priced timed game automata and prove that the optimal cost for winning such a game is computable under conditions concerning the non-zenoness of cost. Under stronger conditions (strictness of constraints) we prove in addition that it is decidable whether there is an optimal strategy in which case an optimal strategy can be computed. Our results extend previous decidability result which requires the underlying game automata to be acyclic. Finally, our results are encoded in a first prototype in HyTech which is applied on a small case-study." @default.
- W2732779076 created "2017-07-14" @default.
- W2732779076 creator A5000548831 @default.
- W2732779076 creator A5006185999 @default.
- W2732779076 creator A5022295634 @default.
- W2732779076 creator A5041884792 @default.
- W2732779076 date "2004-02-11" @default.
- W2732779076 modified "2023-10-03" @default.
- W2732779076 title "Optimal Strategies in Priced Timed Game Automata" @default.
- W2732779076 doi "https://doi.org/10.7146/brics.v11i4.21829" @default.
- W2732779076 hasPublicationYear "2004" @default.
- W2732779076 type Work @default.
- W2732779076 sameAs 2732779076 @default.
- W2732779076 citedByCount "5" @default.
- W2732779076 countsByYear W27327790762017 @default.
- W2732779076 crossrefType "journal-article" @default.
- W2732779076 hasAuthorship W2732779076A5000548831 @default.
- W2732779076 hasAuthorship W2732779076A5006185999 @default.
- W2732779076 hasAuthorship W2732779076A5022295634 @default.
- W2732779076 hasAuthorship W2732779076A5041884792 @default.
- W2732779076 hasBestOaLocation W27327790761 @default.
- W2732779076 hasConcept C112505250 @default.
- W2732779076 hasConcept C120665830 @default.
- W2732779076 hasConcept C121332964 @default.
- W2732779076 hasConcept C136643341 @default.
- W2732779076 hasConcept C153269930 @default.
- W2732779076 hasConcept C192209626 @default.
- W2732779076 hasConcept C30788636 @default.
- W2732779076 hasConcept C41008148 @default.
- W2732779076 hasConcept C80444323 @default.
- W2732779076 hasConceptScore W2732779076C112505250 @default.
- W2732779076 hasConceptScore W2732779076C120665830 @default.
- W2732779076 hasConceptScore W2732779076C121332964 @default.
- W2732779076 hasConceptScore W2732779076C136643341 @default.
- W2732779076 hasConceptScore W2732779076C153269930 @default.
- W2732779076 hasConceptScore W2732779076C192209626 @default.
- W2732779076 hasConceptScore W2732779076C30788636 @default.
- W2732779076 hasConceptScore W2732779076C41008148 @default.
- W2732779076 hasConceptScore W2732779076C80444323 @default.
- W2732779076 hasIssue "4" @default.
- W2732779076 hasLocation W27327790761 @default.
- W2732779076 hasLocation W27327790762 @default.
- W2732779076 hasLocation W27327790763 @default.
- W2732779076 hasOpenAccess W2732779076 @default.
- W2732779076 hasPrimaryLocation W27327790761 @default.
- W2732779076 hasRelatedWork W1582650717 @default.
- W2732779076 hasRelatedWork W2021255060 @default.
- W2732779076 hasRelatedWork W2065323166 @default.
- W2732779076 hasRelatedWork W2077321406 @default.
- W2732779076 hasRelatedWork W2166969310 @default.
- W2732779076 hasRelatedWork W2368796975 @default.
- W2732779076 hasRelatedWork W2950207863 @default.
- W2732779076 hasRelatedWork W3023596811 @default.
- W2732779076 hasRelatedWork W4245606633 @default.
- W2732779076 hasRelatedWork W4299574883 @default.
- W2732779076 hasVolume "11" @default.
- W2732779076 isParatext "false" @default.
- W2732779076 isRetracted "false" @default.
- W2732779076 magId "2732779076" @default.
- W2732779076 workType "article" @default.