FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950668706> ?p ?o ?g. }

• W2950668706 abstract "Nondeterministic weighted automata are finite automata with numerical weights on transitions. They define quantitative languages L that assign to each word w a real number L(w). The value of an infinite word w is computed as the maximal value of all runs over w, and the value of a run as the maximum, limsup, liminf, limit average, or discounted sum of the transition weights. We introduce probabilistic weighted automata, in which the transitions are chosen in a randomized (rather than nondeterministic) fashion. Under almost-sure semantics (resp. positive semantics), the value of a word w is the largest real v such that the runs over w have value at least v with probability 1 (resp. positive probability). We study the classical questions of automata theory for probabilistic weighted automata: emptiness and universality, expressiveness, and closure under various operations on languages. For quantitative languages, emptiness and universality are defined as whether the value of some (resp. every) word exceeds a given threshold. We prove some of these questions to be decidable, and others undecidable. Regarding expressive power, we show that probabilities allow us to define a wide variety of new classes of quantitative languages, except for discounted-sum automata, where probabilistic choice is no more expressive than nondeterminism. Finally, we give an almost complete picture of the closure of various classes of probabilistic weighted automata for the following pointwise operations on quantitative languages: max, min, sum, and numerical complement." @default.
• W2950668706 created "2019-06-27" @default.
• W2950668706 creator A5013106333 @default.
• W2950668706 creator A5052607806 @default.
• W2950668706 creator A5080555605 @default.
• W2950668706 date "2009-09-09" @default.
• W2950668706 modified "2023-10-11" @default.
• W2950668706 title "Probabilistic Weighted Automata" @default.
• W2950668706 cites W1496590343 @default.
• W2950668706 cites W1601155136 @default.
• W2950668706 cites W1971499713 @default.
• W2950668706 cites W2038680194 @default.
• W2950668706 cites W2041371169 @default.
• W2950668706 cites W2102589262 @default.
• W2950668706 cites W2125422788 @default.
• W2950668706 cites W2137255106 @default.
• W2950668706 cites W2142119680 @default.
• W2950668706 cites W2179042667 @default.
• W2950668706 cites W2575731723 @default.
• W2950668706 cites W2912461213 @default.
• W2950668706 hasPublicationYear "2009" @default.
• W2950668706 type Work @default.
• W2950668706 sameAs 2950668706 @default.
• W2950668706 citedByCount "5" @default.
• W2950668706 countsByYear W29506687062013 @default.
• W2950668706 countsByYear W29506687062015 @default.
• W2950668706 countsByYear W29506687062016 @default.
• W2950668706 countsByYear W29506687062020 @default.
• W2950668706 crossrefType "posted-content" @default.
• W2950668706 hasAuthorship W2950668706A5013106333 @default.
• W2950668706 hasAuthorship W2950668706A5052607806 @default.
• W2950668706 hasAuthorship W2950668706A5080555605 @default.
• W2950668706 hasConcept C105795698 @default.
• W2950668706 hasConcept C112505250 @default.
• W2950668706 hasConcept C114614502 @default.
• W2950668706 hasConcept C116248031 @default.
• W2950668706 hasConcept C118615104 @default.
• W2950668706 hasConcept C121332964 @default.
• W2950668706 hasConcept C146834321 @default.
• W2950668706 hasConcept C153269930 @default.
• W2950668706 hasConcept C158008952 @default.
• W2950668706 hasConcept C162324750 @default.
• W2950668706 hasConcept C174327141 @default.
• W2950668706 hasConcept C176181172 @default.
• W2950668706 hasConcept C183992945 @default.
• W2950668706 hasConcept C192034797 @default.
• W2950668706 hasConcept C2524010 @default.
• W2950668706 hasConcept C2776493592 @default.
• W2950668706 hasConcept C33923547 @default.
• W2950668706 hasConcept C34447519 @default.
• W2950668706 hasConcept C41008148 @default.
• W2950668706 hasConcept C49937458 @default.
• W2950668706 hasConcept C62520636 @default.
• W2950668706 hasConcept C80444323 @default.
• W2950668706 hasConcept C90805587 @default.
• W2950668706 hasConcept C92117001 @default.
• W2950668706 hasConceptScore W2950668706C105795698 @default.
• W2950668706 hasConceptScore W2950668706C112505250 @default.
• W2950668706 hasConceptScore W2950668706C114614502 @default.
• W2950668706 hasConceptScore W2950668706C116248031 @default.
• W2950668706 hasConceptScore W2950668706C118615104 @default.
• W2950668706 hasConceptScore W2950668706C121332964 @default.
• W2950668706 hasConceptScore W2950668706C146834321 @default.
• W2950668706 hasConceptScore W2950668706C153269930 @default.
• W2950668706 hasConceptScore W2950668706C158008952 @default.
• W2950668706 hasConceptScore W2950668706C162324750 @default.
• W2950668706 hasConceptScore W2950668706C174327141 @default.
• W2950668706 hasConceptScore W2950668706C176181172 @default.
• W2950668706 hasConceptScore W2950668706C183992945 @default.
• W2950668706 hasConceptScore W2950668706C192034797 @default.
• W2950668706 hasConceptScore W2950668706C2524010 @default.
• W2950668706 hasConceptScore W2950668706C2776493592 @default.
• W2950668706 hasConceptScore W2950668706C33923547 @default.
• W2950668706 hasConceptScore W2950668706C34447519 @default.
• W2950668706 hasConceptScore W2950668706C41008148 @default.
• W2950668706 hasConceptScore W2950668706C49937458 @default.
• W2950668706 hasConceptScore W2950668706C62520636 @default.
• W2950668706 hasConceptScore W2950668706C80444323 @default.
• W2950668706 hasConceptScore W2950668706C90805587 @default.
• W2950668706 hasConceptScore W2950668706C92117001 @default.
• W2950668706 hasLocation W29506687061 @default.
• W2950668706 hasOpenAccess W2950668706 @default.
• W2950668706 hasPrimaryLocation W29506687061 @default.
• W2950668706 hasRelatedWork W1556054734 @default.
• W2950668706 hasRelatedWork W1569998753 @default.
• W2950668706 hasRelatedWork W1803317697 @default.
• W2950668706 hasRelatedWork W1938002898 @default.
• W2950668706 hasRelatedWork W1967389018 @default.
• W2950668706 hasRelatedWork W2112648200 @default.
• W2950668706 hasRelatedWork W2114901588 @default.
• W2950668706 hasRelatedWork W2249410330 @default.
• W2950668706 hasRelatedWork W2398944522 @default.
• W2950668706 hasRelatedWork W2612374306 @default.
• W2950668706 hasRelatedWork W2913561688 @default.
• W2950668706 hasRelatedWork W2949073953 @default.
• W2950668706 hasRelatedWork W2955850316 @default.
• W2950668706 hasRelatedWork W2963690846 @default.
• W2950668706 hasRelatedWork W2963741432 @default.
• W2950668706 hasRelatedWork W2963979500 @default.
• W2950668706 hasRelatedWork W3038444735 @default.

• next