Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091168913> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2091168913 endingPage "62" @default.
- W2091168913 startingPage "47" @default.
- W2091168913 abstract "In this paper we present a unifying approach for deciding various bisimulations, simulation equivalences and preorders between two timed automata states. We propose a zone based method for deciding these relations in which we eliminate an explicit product construction of the region graphs or the zone graphs as in the classical methods. Our method is also generic and can be used to decide several timed relations. We also present a game characterization for these timed relations and show that the game hierarchy reflects the hierarchy of the timed relations. One can obtain an infinite game hierarchy and thus the game characterization further indicates the possibility of defining new timed relations which have not been studied yet. The game characterization also helps us to come up with a formula which encodes the separation between two states that are not timed bisimilar. Such distinguishing formulae can also be generated for many relations other than timed bisimilarity." @default.
- W2091168913 created "2016-06-24" @default.
- W2091168913 creator A5060982102 @default.
- W2091168913 creator A5063589100 @default.
- W2091168913 creator A5076207100 @default.
- W2091168913 creator A5089838447 @default.
- W2091168913 date "2013-07-26" @default.
- W2091168913 modified "2023-09-28" @default.
- W2091168913 title "A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization" @default.
- W2091168913 cites W1505030820 @default.
- W2091168913 cites W1524771661 @default.
- W2091168913 cites W1540527708 @default.
- W2091168913 cites W1552249698 @default.
- W2091168913 cites W1565034387 @default.
- W2091168913 cites W1573078772 @default.
- W2091168913 cites W1601841732 @default.
- W2091168913 cites W1772179977 @default.
- W2091168913 cites W1886746238 @default.
- W2091168913 cites W200063938 @default.
- W2091168913 cites W2007490191 @default.
- W2091168913 cites W2009280542 @default.
- W2091168913 cites W2019704995 @default.
- W2091168913 cites W2100271265 @default.
- W2091168913 cites W2101508170 @default.
- W2091168913 cites W2130773092 @default.
- W2091168913 cites W2153273838 @default.
- W2091168913 cites W41277334 @default.
- W2091168913 cites W4239721096 @default.
- W2091168913 cites W4245258941 @default.
- W2091168913 doi "https://doi.org/10.4204/eptcs.120.5" @default.
- W2091168913 hasPublicationYear "2013" @default.
- W2091168913 type Work @default.
- W2091168913 sameAs 2091168913 @default.
- W2091168913 citedByCount "3" @default.
- W2091168913 countsByYear W20911689132014 @default.
- W2091168913 countsByYear W20911689132019 @default.
- W2091168913 countsByYear W20911689132020 @default.
- W2091168913 crossrefType "journal-article" @default.
- W2091168913 hasAuthorship W2091168913A5060982102 @default.
- W2091168913 hasAuthorship W2091168913A5063589100 @default.
- W2091168913 hasAuthorship W2091168913A5076207100 @default.
- W2091168913 hasAuthorship W2091168913A5089838447 @default.
- W2091168913 hasBestOaLocation W20911689131 @default.
- W2091168913 hasConcept C112505250 @default.
- W2091168913 hasConcept C162324750 @default.
- W2091168913 hasConcept C171250308 @default.
- W2091168913 hasConcept C192562407 @default.
- W2091168913 hasConcept C2524010 @default.
- W2091168913 hasConcept C2780841128 @default.
- W2091168913 hasConcept C31170391 @default.
- W2091168913 hasConcept C33923547 @default.
- W2091168913 hasConcept C34447519 @default.
- W2091168913 hasConcept C41008148 @default.
- W2091168913 hasConcept C80444323 @default.
- W2091168913 hasConcept C90673727 @default.
- W2091168913 hasConceptScore W2091168913C112505250 @default.
- W2091168913 hasConceptScore W2091168913C162324750 @default.
- W2091168913 hasConceptScore W2091168913C171250308 @default.
- W2091168913 hasConceptScore W2091168913C192562407 @default.
- W2091168913 hasConceptScore W2091168913C2524010 @default.
- W2091168913 hasConceptScore W2091168913C2780841128 @default.
- W2091168913 hasConceptScore W2091168913C31170391 @default.
- W2091168913 hasConceptScore W2091168913C33923547 @default.
- W2091168913 hasConceptScore W2091168913C34447519 @default.
- W2091168913 hasConceptScore W2091168913C41008148 @default.
- W2091168913 hasConceptScore W2091168913C80444323 @default.
- W2091168913 hasConceptScore W2091168913C90673727 @default.
- W2091168913 hasLocation W20911689131 @default.
- W2091168913 hasLocation W20911689132 @default.
- W2091168913 hasLocation W20911689133 @default.
- W2091168913 hasLocation W20911689134 @default.
- W2091168913 hasOpenAccess W2091168913 @default.
- W2091168913 hasPrimaryLocation W20911689131 @default.
- W2091168913 hasRelatedWork W1498080356 @default.
- W2091168913 hasRelatedWork W1568901320 @default.
- W2091168913 hasRelatedWork W1591006154 @default.
- W2091168913 hasRelatedWork W2050349771 @default.
- W2091168913 hasRelatedWork W2091331641 @default.
- W2091168913 hasRelatedWork W2126214140 @default.
- W2091168913 hasRelatedWork W2147170865 @default.
- W2091168913 hasRelatedWork W2333313290 @default.
- W2091168913 hasRelatedWork W2368796975 @default.
- W2091168913 hasRelatedWork W2941394577 @default.
- W2091168913 hasVolume "120" @default.
- W2091168913 isParatext "false" @default.
- W2091168913 isRetracted "false" @default.
- W2091168913 magId "2091168913" @default.
- W2091168913 workType "article" @default.