Matches in SemOpenAlex for { <https://semopenalex.org/work/W2288517895> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2288517895 abstract "A discounted-sum automaton (NDA) is a nondeterministic nite automaton with edge weights, valuing a run by the discounted sum of visited edge weights. More precisely, the weight in the i-th position of the run is divided by i , where the discount factor is a xed rational number greater than 1. The value of a word is the minimal value of the automaton runs on it. Discounted summation is a common and useful measuring scheme, especially for innite sequences, reecting the assumption that earlier weights are more important than later weights. Unfortunately, determinization of NDAs, which is often essential in formal verication, is, in general, not possible. We provide positive news, showing that every NDA with an integral discount factor is determinizable. We complete the picture by proving that the integers characterize exactly the discount factors that guarantee determinizability: for every rational discount factor 62 N, there is a nondeterminizable -NDA. We also prove that the class of NDAs with integral discount factors enjoys closure under the algebraic operations min, max, addition, and subtraction, which is not the case for general NDAs nor for deterministic NDAs. For general NDAs, we look into approximate determinization, which is always possible as the inuence of a word's sux decays. We show that the naive approach, of unfolding the automaton computations up to a sucient level, is doubly exponential in the discount factor. We provide an alternative construction for approximate determinization, which is singly exponential in the discount factor, in the precision, and in the number of states. We also prove matching lower bounds, showing that the exponential dependency on each of these three parameters cannot be avoided. All our results hold equally for automata over nite words and for automata over innite words." @default.
- W2288517895 created "2016-06-24" @default.
- W2288517895 creator A5000415323 @default.
- W2288517895 creator A5080555605 @default.
- W2288517895 date "2014-01-01" @default.
- W2288517895 modified "2023-09-26" @default.
- W2288517895 title "EXACT AND APPROXIMATE DETERMINIZATION OF" @default.
- W2288517895 cites W1556054734 @default.
- W2288517895 cites W1643571618 @default.
- W2288517895 cites W1757114815 @default.
- W2288517895 cites W1829319030 @default.
- W2288517895 cites W1835836356 @default.
- W2288517895 cites W1852784691 @default.
- W2288517895 cites W2004700213 @default.
- W2288517895 cites W2026128612 @default.
- W2288517895 cites W2043871262 @default.
- W2288517895 cites W2096272173 @default.
- W2288517895 cites W2114901588 @default.
- W2288517895 cites W2125529971 @default.
- W2288517895 cites W2155038659 @default.
- W2288517895 cites W2249410330 @default.
- W2288517895 cites W2294334272 @default.
- W2288517895 cites W2096062594 @default.
- W2288517895 hasPublicationYear "2014" @default.
- W2288517895 type Work @default.
- W2288517895 sameAs 2288517895 @default.
- W2288517895 citedByCount "0" @default.
- W2288517895 crossrefType "journal-article" @default.
- W2288517895 hasAuthorship W2288517895A5000415323 @default.
- W2288517895 hasAuthorship W2288517895A5080555605 @default.
- W2288517895 hasConcept C10138342 @default.
- W2288517895 hasConcept C105795698 @default.
- W2288517895 hasConcept C114614502 @default.
- W2288517895 hasConcept C118615104 @default.
- W2288517895 hasConcept C134306372 @default.
- W2288517895 hasConcept C146834321 @default.
- W2288517895 hasConcept C151376022 @default.
- W2288517895 hasConcept C154945302 @default.
- W2288517895 hasConcept C162324750 @default.
- W2288517895 hasConcept C176181172 @default.
- W2288517895 hasConcept C2776291640 @default.
- W2288517895 hasConcept C2777212361 @default.
- W2288517895 hasConcept C33923547 @default.
- W2288517895 hasConcept C34447519 @default.
- W2288517895 hasConcept C41008148 @default.
- W2288517895 hasConcept C6177178 @default.
- W2288517895 hasConcept C9376300 @default.
- W2288517895 hasConceptScore W2288517895C10138342 @default.
- W2288517895 hasConceptScore W2288517895C105795698 @default.
- W2288517895 hasConceptScore W2288517895C114614502 @default.
- W2288517895 hasConceptScore W2288517895C118615104 @default.
- W2288517895 hasConceptScore W2288517895C134306372 @default.
- W2288517895 hasConceptScore W2288517895C146834321 @default.
- W2288517895 hasConceptScore W2288517895C151376022 @default.
- W2288517895 hasConceptScore W2288517895C154945302 @default.
- W2288517895 hasConceptScore W2288517895C162324750 @default.
- W2288517895 hasConceptScore W2288517895C176181172 @default.
- W2288517895 hasConceptScore W2288517895C2776291640 @default.
- W2288517895 hasConceptScore W2288517895C2777212361 @default.
- W2288517895 hasConceptScore W2288517895C33923547 @default.
- W2288517895 hasConceptScore W2288517895C34447519 @default.
- W2288517895 hasConceptScore W2288517895C41008148 @default.
- W2288517895 hasConceptScore W2288517895C6177178 @default.
- W2288517895 hasConceptScore W2288517895C9376300 @default.
- W2288517895 hasLocation W22885178951 @default.
- W2288517895 hasOpenAccess W2288517895 @default.
- W2288517895 hasPrimaryLocation W22885178951 @default.
- W2288517895 hasRelatedWork W1515502113 @default.
- W2288517895 hasRelatedWork W1582495126 @default.
- W2288517895 hasRelatedWork W1600826028 @default.
- W2288517895 hasRelatedWork W197371221 @default.
- W2288517895 hasRelatedWork W2001654744 @default.
- W2288517895 hasRelatedWork W2076125241 @default.
- W2288517895 hasRelatedWork W2118938010 @default.
- W2288517895 hasRelatedWork W2186049747 @default.
- W2288517895 hasRelatedWork W2266147465 @default.
- W2288517895 hasRelatedWork W2753907096 @default.
- W2288517895 hasRelatedWork W2795976437 @default.
- W2288517895 hasRelatedWork W2887481733 @default.
- W2288517895 hasRelatedWork W2917173529 @default.
- W2288517895 hasRelatedWork W2949853036 @default.
- W2288517895 hasRelatedWork W2950465163 @default.
- W2288517895 hasRelatedWork W3003999948 @default.
- W2288517895 hasRelatedWork W3102712431 @default.
- W2288517895 hasRelatedWork W34719172 @default.
- W2288517895 hasRelatedWork W227831831 @default.
- W2288517895 hasRelatedWork W3002604948 @default.
- W2288517895 isParatext "false" @default.
- W2288517895 isRetracted "false" @default.
- W2288517895 magId "2288517895" @default.
- W2288517895 workType "article" @default.