Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949328107> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2949328107 abstract "Finding models for linear-time properties is a central problem in verification and planning. We study the distribution of linear-time models by investigating the density of linear-time properties over the space of ultimately periodic words. The density of a property over a bound n is the ratio of the number of lasso-shaped words of length n that satisfy the property to the total number of lasso-shaped words of length n. We investigate the problem of computing the density for both linear-time properties in general and for the important special case of omega-regular properties. For general linear-time properties, the density is not necessarily convergent and can oscillate indefinitely for certain properties. However, we show the oscillation can be bounded by the growth of the sets of bad- and good-prefix of the property. For omega-regular properties, we show that the density is always convergent and provide a general algorithm for computing the density of omega-regular properties as well as more specialized algorithms for certain sub-classes and their combinations." @default.
- W2949328107 created "2019-06-27" @default.
- W2949328107 creator A5047901628 @default.
- W2949328107 creator A5048189898 @default.
- W2949328107 date "2018-03-23" @default.
- W2949328107 modified "2023-10-01" @default.
- W2949328107 title "The Density of Linear-time Properties" @default.
- W2949328107 cites W1857043531 @default.
- W2949328107 cites W1997965066 @default.
- W2949328107 cites W2006912660 @default.
- W2949328107 cites W2007464118 @default.
- W2949328107 cites W2017473312 @default.
- W2949328107 cites W2023808162 @default.
- W2949328107 cites W2059421791 @default.
- W2949328107 cites W2084955549 @default.
- W2949328107 cites W2165726630 @default.
- W2949328107 cites W2964114371 @default.
- W2949328107 cites W1491723250 @default.
- W2949328107 cites W2471193067 @default.
- W2949328107 cites W2584250636 @default.
- W2949328107 hasPublicationYear "2018" @default.
- W2949328107 type Work @default.
- W2949328107 sameAs 2949328107 @default.
- W2949328107 citedByCount "0" @default.
- W2949328107 crossrefType "posted-content" @default.
- W2949328107 hasAuthorship W2949328107A5047901628 @default.
- W2949328107 hasAuthorship W2949328107A5048189898 @default.
- W2949328107 hasConcept C111472728 @default.
- W2949328107 hasConcept C121332964 @default.
- W2949328107 hasConcept C134306372 @default.
- W2949328107 hasConcept C138885662 @default.
- W2949328107 hasConcept C189950617 @default.
- W2949328107 hasConcept C2778439541 @default.
- W2949328107 hasConcept C2779557605 @default.
- W2949328107 hasConcept C28826006 @default.
- W2949328107 hasConcept C33923547 @default.
- W2949328107 hasConcept C34388435 @default.
- W2949328107 hasConcept C54355233 @default.
- W2949328107 hasConcept C62520636 @default.
- W2949328107 hasConcept C77553402 @default.
- W2949328107 hasConcept C86803240 @default.
- W2949328107 hasConceptScore W2949328107C111472728 @default.
- W2949328107 hasConceptScore W2949328107C121332964 @default.
- W2949328107 hasConceptScore W2949328107C134306372 @default.
- W2949328107 hasConceptScore W2949328107C138885662 @default.
- W2949328107 hasConceptScore W2949328107C189950617 @default.
- W2949328107 hasConceptScore W2949328107C2778439541 @default.
- W2949328107 hasConceptScore W2949328107C2779557605 @default.
- W2949328107 hasConceptScore W2949328107C28826006 @default.
- W2949328107 hasConceptScore W2949328107C33923547 @default.
- W2949328107 hasConceptScore W2949328107C34388435 @default.
- W2949328107 hasConceptScore W2949328107C54355233 @default.
- W2949328107 hasConceptScore W2949328107C62520636 @default.
- W2949328107 hasConceptScore W2949328107C77553402 @default.
- W2949328107 hasConceptScore W2949328107C86803240 @default.
- W2949328107 hasLocation W29493281071 @default.
- W2949328107 hasOpenAccess W2949328107 @default.
- W2949328107 hasPrimaryLocation W29493281071 @default.
- W2949328107 hasRelatedWork W11832111 @default.
- W2949328107 hasRelatedWork W1554453717 @default.
- W2949328107 hasRelatedWork W2005612196 @default.
- W2949328107 hasRelatedWork W2056443473 @default.
- W2949328107 hasRelatedWork W2107822587 @default.
- W2949328107 hasRelatedWork W2189520010 @default.
- W2949328107 hasRelatedWork W2294664282 @default.
- W2949328107 hasRelatedWork W2295202592 @default.
- W2949328107 hasRelatedWork W2502839429 @default.
- W2949328107 hasRelatedWork W2547989012 @default.
- W2949328107 hasRelatedWork W2614226439 @default.
- W2949328107 hasRelatedWork W2758661156 @default.
- W2949328107 hasRelatedWork W2914990731 @default.
- W2949328107 hasRelatedWork W2949161035 @default.
- W2949328107 hasRelatedWork W2950813736 @default.
- W2949328107 hasRelatedWork W2952973061 @default.
- W2949328107 hasRelatedWork W3023160755 @default.
- W2949328107 hasRelatedWork W3046081500 @default.
- W2949328107 hasRelatedWork W3203654258 @default.
- W2949328107 hasRelatedWork W76427589 @default.
- W2949328107 isParatext "false" @default.
- W2949328107 isRetracted "false" @default.
- W2949328107 magId "2949328107" @default.
- W2949328107 workType "article" @default.