Matches in SemOpenAlex for { <https://semopenalex.org/work/W98409243> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W98409243 endingPage "251" @default.
- W98409243 startingPage "236" @default.
- W98409243 abstract "A quantitative semantics for infinite timed words in timed automata based on the frequency of a run is introduced in [6]. Unfortunately, most of the results are obtained only for one-clock timed automata because the techniques do not allow to deal with some phenomenon of convergence between clocks. On the other hand, the notion of forgetful cycle is introduced in [4], in the context of entropy of timed languages, and seems to detect exactly these convergences. In this paper, we investigate how the notion of forgetfulness can help to extend the computation of the set of frequencies to n-clock timed automata." @default.
- W98409243 created "2016-06-24" @default.
- W98409243 creator A5026706967 @default.
- W98409243 date "2012-01-01" @default.
- W98409243 modified "2023-10-05" @default.
- W98409243 title "Frequencies in Forgetful Timed Automata" @default.
- W98409243 cites W124063618 @default.
- W98409243 cites W1485977729 @default.
- W98409243 cites W1560508321 @default.
- W98409243 cites W1573865009 @default.
- W98409243 cites W1584555738 @default.
- W98409243 cites W1878074184 @default.
- W98409243 cites W2009280542 @default.
- W98409243 cites W2065323166 @default.
- W98409243 cites W2101508170 @default.
- W98409243 cites W2123384876 @default.
- W98409243 cites W2130136014 @default.
- W98409243 cites W4245473887 @default.
- W98409243 cites W98409243 @default.
- W98409243 doi "https://doi.org/10.1007/978-3-642-33365-1_17" @default.
- W98409243 hasPublicationYear "2012" @default.
- W98409243 type Work @default.
- W98409243 sameAs 98409243 @default.
- W98409243 citedByCount "5" @default.
- W98409243 countsByYear W984092432012 @default.
- W98409243 countsByYear W984092432013 @default.
- W98409243 crossrefType "book-chapter" @default.
- W98409243 hasAuthorship W98409243A5026706967 @default.
- W98409243 hasBestOaLocation W984092432 @default.
- W98409243 hasConcept C112505250 @default.
- W98409243 hasConcept C11413529 @default.
- W98409243 hasConcept C177264268 @default.
- W98409243 hasConcept C199360897 @default.
- W98409243 hasConcept C30788636 @default.
- W98409243 hasConcept C41008148 @default.
- W98409243 hasConcept C45374587 @default.
- W98409243 hasConcept C80444323 @default.
- W98409243 hasConceptScore W98409243C112505250 @default.
- W98409243 hasConceptScore W98409243C11413529 @default.
- W98409243 hasConceptScore W98409243C177264268 @default.
- W98409243 hasConceptScore W98409243C199360897 @default.
- W98409243 hasConceptScore W98409243C30788636 @default.
- W98409243 hasConceptScore W98409243C41008148 @default.
- W98409243 hasConceptScore W98409243C45374587 @default.
- W98409243 hasConceptScore W98409243C80444323 @default.
- W98409243 hasLocation W984092431 @default.
- W98409243 hasLocation W984092432 @default.
- W98409243 hasLocation W984092433 @default.
- W98409243 hasLocation W984092434 @default.
- W98409243 hasLocation W984092435 @default.
- W98409243 hasLocation W984092436 @default.
- W98409243 hasLocation W984092437 @default.
- W98409243 hasLocation W984092438 @default.
- W98409243 hasLocation W984092439 @default.
- W98409243 hasOpenAccess W98409243 @default.
- W98409243 hasPrimaryLocation W984092431 @default.
- W98409243 hasRelatedWork W1486144438 @default.
- W98409243 hasRelatedWork W1582650717 @default.
- W98409243 hasRelatedWork W2021255060 @default.
- W98409243 hasRelatedWork W2081779423 @default.
- W98409243 hasRelatedWork W2120347230 @default.
- W98409243 hasRelatedWork W2196692106 @default.
- W98409243 hasRelatedWork W2368796975 @default.
- W98409243 hasRelatedWork W2740942814 @default.
- W98409243 hasRelatedWork W2602338684 @default.
- W98409243 hasRelatedWork W2751931981 @default.
- W98409243 isParatext "false" @default.
- W98409243 isRetracted "false" @default.
- W98409243 magId "98409243" @default.
- W98409243 workType "book-chapter" @default.