Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387687921> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4387687921 abstract "Nondeterministic Discounted-Sum Automata (NDAs) are nondeterministic finite automata equipped with a discounting factor $lambda>1$, and whose transitions are labelled by weights. The value of a run of an NDA is the discounted sum of the edge weights, where the $i$-th weight is divided by $lambda^{i}$. NDAs are a useful tool for modelling systems where the values of future events are less influential than immediate ones. While several problems are undecidable or open for NDA, their deterministic fragment (DDA) admits more tractable algorithms. Therefore, determinization of NDAs (i.e., deciding if an NDA has a functionally-equivalent DDA) is desirable. Previous works establish that when $lambdain mathbb{N}$, then every complete NDA, namely an NDA whose states are all accepting and its transition function is complete, is determinizable. This, however, no longer holds when the completeness assumption is dropped. We show that the problem of whether an NDA has an equivalent DDA is decidable when $lambdain mathbb{N}$." @default.
- W4387687921 created "2023-10-17" @default.
- W4387687921 creator A5021154671 @default.
- W4387687921 creator A5041928914 @default.
- W4387687921 date "2023-10-13" @default.
- W4387687921 modified "2023-10-18" @default.
- W4387687921 title "Determinization of Integral Discounted-Sum Automata is Decidable" @default.
- W4387687921 doi "https://doi.org/10.48550/arxiv.2310.09115" @default.
- W4387687921 hasPublicationYear "2023" @default.
- W4387687921 type Work @default.
- W4387687921 citedByCount "0" @default.
- W4387687921 crossrefType "posted-content" @default.
- W4387687921 hasAuthorship W4387687921A5021154671 @default.
- W4387687921 hasAuthorship W4387687921A5041928914 @default.
- W4387687921 hasBestOaLocation W43876879211 @default.
- W4387687921 hasConcept C112505250 @default.
- W4387687921 hasConcept C114614502 @default.
- W4387687921 hasConcept C116248031 @default.
- W4387687921 hasConcept C118615104 @default.
- W4387687921 hasConcept C120665830 @default.
- W4387687921 hasConcept C121332964 @default.
- W4387687921 hasConcept C14036430 @default.
- W4387687921 hasConcept C153269930 @default.
- W4387687921 hasConcept C158008952 @default.
- W4387687921 hasConcept C176181172 @default.
- W4387687921 hasConcept C192034797 @default.
- W4387687921 hasConcept C2778113609 @default.
- W4387687921 hasConcept C33923547 @default.
- W4387687921 hasConcept C41008148 @default.
- W4387687921 hasConcept C78458016 @default.
- W4387687921 hasConcept C80444323 @default.
- W4387687921 hasConcept C86803240 @default.
- W4387687921 hasConceptScore W4387687921C112505250 @default.
- W4387687921 hasConceptScore W4387687921C114614502 @default.
- W4387687921 hasConceptScore W4387687921C116248031 @default.
- W4387687921 hasConceptScore W4387687921C118615104 @default.
- W4387687921 hasConceptScore W4387687921C120665830 @default.
- W4387687921 hasConceptScore W4387687921C121332964 @default.
- W4387687921 hasConceptScore W4387687921C14036430 @default.
- W4387687921 hasConceptScore W4387687921C153269930 @default.
- W4387687921 hasConceptScore W4387687921C158008952 @default.
- W4387687921 hasConceptScore W4387687921C176181172 @default.
- W4387687921 hasConceptScore W4387687921C192034797 @default.
- W4387687921 hasConceptScore W4387687921C2778113609 @default.
- W4387687921 hasConceptScore W4387687921C33923547 @default.
- W4387687921 hasConceptScore W4387687921C41008148 @default.
- W4387687921 hasConceptScore W4387687921C78458016 @default.
- W4387687921 hasConceptScore W4387687921C80444323 @default.
- W4387687921 hasConceptScore W4387687921C86803240 @default.
- W4387687921 hasLocation W43876879211 @default.
- W4387687921 hasOpenAccess W4387687921 @default.
- W4387687921 hasPrimaryLocation W43876879211 @default.
- W4387687921 hasRelatedWork W129916058 @default.
- W4387687921 hasRelatedWork W1501430220 @default.
- W4387687921 hasRelatedWork W1542027783 @default.
- W4387687921 hasRelatedWork W2021891065 @default.
- W4387687921 hasRelatedWork W2119045600 @default.
- W4387687921 hasRelatedWork W2962928105 @default.
- W4387687921 hasRelatedWork W2972379433 @default.
- W4387687921 hasRelatedWork W2989332944 @default.
- W4387687921 hasRelatedWork W2583549044 @default.
- W4387687921 hasRelatedWork W2584984136 @default.
- W4387687921 isParatext "false" @default.
- W4387687921 isRetracted "false" @default.
- W4387687921 workType "article" @default.