Matches in SemOpenAlex for { <https://semopenalex.org/work/W2355415418> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2355415418 abstract "In this paper an extension of timed automata with priorities is introduced,and we present an improved algorithm to compute subtraction on DBMs.The subtraction is one of the few operations on DBMs that result in non-convex set needing sets of DBMs for representation.The number of DBMs influences the performance of model checking.Our subtraction algorithm is efficient in the sense that the number of generated DBMs is significantly reduced compared to a naive algorithm.The DBM subtraction operation extends the theory of timed automata with priorities.It is useful in the desctription of transition with urgent actions,dead lock checking,and timed games." @default.
- W2355415418 created "2016-06-24" @default.
- W2355415418 creator A5091399765 @default.
- W2355415418 date "2008-01-01" @default.
- W2355415418 modified "2023-09-24" @default.
- W2355415418 title "Improvement on a DBM Subtraction Algorithm in Timed Automata with Priorities" @default.
- W2355415418 hasPublicationYear "2008" @default.
- W2355415418 type Work @default.
- W2355415418 sameAs 2355415418 @default.
- W2355415418 citedByCount "0" @default.
- W2355415418 crossrefType "journal-article" @default.
- W2355415418 hasAuthorship W2355415418A5091399765 @default.
- W2355415418 hasConcept C112505250 @default.
- W2355415418 hasConcept C112680207 @default.
- W2355415418 hasConcept C11413529 @default.
- W2355415418 hasConcept C127413603 @default.
- W2355415418 hasConcept C174839445 @default.
- W2355415418 hasConcept C177264268 @default.
- W2355415418 hasConcept C17744445 @default.
- W2355415418 hasConcept C199360897 @default.
- W2355415418 hasConcept C199539241 @default.
- W2355415418 hasConcept C2524010 @default.
- W2355415418 hasConcept C2776359362 @default.
- W2355415418 hasConcept C2778029271 @default.
- W2355415418 hasConcept C33923547 @default.
- W2355415418 hasConcept C41008148 @default.
- W2355415418 hasConcept C68060419 @default.
- W2355415418 hasConcept C78519656 @default.
- W2355415418 hasConcept C80444323 @default.
- W2355415418 hasConcept C94375191 @default.
- W2355415418 hasConcept C94625758 @default.
- W2355415418 hasConceptScore W2355415418C112505250 @default.
- W2355415418 hasConceptScore W2355415418C112680207 @default.
- W2355415418 hasConceptScore W2355415418C11413529 @default.
- W2355415418 hasConceptScore W2355415418C127413603 @default.
- W2355415418 hasConceptScore W2355415418C174839445 @default.
- W2355415418 hasConceptScore W2355415418C177264268 @default.
- W2355415418 hasConceptScore W2355415418C17744445 @default.
- W2355415418 hasConceptScore W2355415418C199360897 @default.
- W2355415418 hasConceptScore W2355415418C199539241 @default.
- W2355415418 hasConceptScore W2355415418C2524010 @default.
- W2355415418 hasConceptScore W2355415418C2776359362 @default.
- W2355415418 hasConceptScore W2355415418C2778029271 @default.
- W2355415418 hasConceptScore W2355415418C33923547 @default.
- W2355415418 hasConceptScore W2355415418C41008148 @default.
- W2355415418 hasConceptScore W2355415418C68060419 @default.
- W2355415418 hasConceptScore W2355415418C78519656 @default.
- W2355415418 hasConceptScore W2355415418C80444323 @default.
- W2355415418 hasConceptScore W2355415418C94375191 @default.
- W2355415418 hasConceptScore W2355415418C94625758 @default.
- W2355415418 hasLocation W23554154181 @default.
- W2355415418 hasOpenAccess W2355415418 @default.
- W2355415418 hasPrimaryLocation W23554154181 @default.
- W2355415418 hasRelatedWork W1484161352 @default.
- W2355415418 hasRelatedWork W1499514499 @default.
- W2355415418 hasRelatedWork W1499997116 @default.
- W2355415418 hasRelatedWork W1522276539 @default.
- W2355415418 hasRelatedWork W1548878183 @default.
- W2355415418 hasRelatedWork W1606290697 @default.
- W2355415418 hasRelatedWork W1643848536 @default.
- W2355415418 hasRelatedWork W1903000972 @default.
- W2355415418 hasRelatedWork W1975616488 @default.
- W2355415418 hasRelatedWork W2004173170 @default.
- W2355415418 hasRelatedWork W2089025361 @default.
- W2355415418 hasRelatedWork W2096544406 @default.
- W2355415418 hasRelatedWork W2153789164 @default.
- W2355415418 hasRelatedWork W2242084152 @default.
- W2355415418 hasRelatedWork W2373389320 @default.
- W2355415418 hasRelatedWork W2384984106 @default.
- W2355415418 hasRelatedWork W2536624299 @default.
- W2355415418 hasRelatedWork W2950940436 @default.
- W2355415418 hasRelatedWork W2952363982 @default.
- W2355415418 hasRelatedWork W2991618286 @default.
- W2355415418 isParatext "false" @default.
- W2355415418 isRetracted "false" @default.
- W2355415418 magId "2355415418" @default.
- W2355415418 workType "article" @default.