Matches in SemOpenAlex for { <https://semopenalex.org/work/W2916952641> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2916952641 endingPage "16" @default.
- W2916952641 startingPage "3" @default.
- W2916952641 abstract "Probabilistic omega-automata are variants of nondeterministic automata for infinite words where all choices are resolved by probabilistic distributions. Acceptance of an infinite input word can be defined in different ways: by requiring that (i) the probability for the accepting runs is positive (probable semantics), or (ii) almost all runs are accepting (almost-sure semantics), or (iii) the probability measure of the accepting runs is greater than a certain threshold (threshold semantics). The underlying notion of an accepting run can be defined as for standard omega-automata by means of a Buechi condition or other acceptance conditions, e.g., Rabin or Streett conditions. In this paper, we put the main focus on the probable semantics and provide a summary of the fundamental properties of probabilistic omega-automata concerning expressiveness, efficiency, and decision problems." @default.
- W2916952641 created "2019-03-02" @default.
- W2916952641 creator A5015505764 @default.
- W2916952641 creator A5019307337 @default.
- W2916952641 creator A5091344667 @default.
- W2916952641 date "2009-01-01" @default.
- W2916952641 modified "2023-09-27" @default.
- W2916952641 title "Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability" @default.
- W2916952641 hasPublicationYear "2009" @default.
- W2916952641 type Work @default.
- W2916952641 sameAs 2916952641 @default.
- W2916952641 citedByCount "0" @default.
- W2916952641 crossrefType "journal-article" @default.
- W2916952641 hasAuthorship W2916952641A5015505764 @default.
- W2916952641 hasAuthorship W2916952641A5019307337 @default.
- W2916952641 hasAuthorship W2916952641A5091344667 @default.
- W2916952641 hasConcept C112505250 @default.
- W2916952641 hasConcept C118615104 @default.
- W2916952641 hasConcept C153269930 @default.
- W2916952641 hasConcept C154945302 @default.
- W2916952641 hasConcept C176181172 @default.
- W2916952641 hasConcept C184337299 @default.
- W2916952641 hasConcept C199360897 @default.
- W2916952641 hasConcept C2524010 @default.
- W2916952641 hasConcept C33923547 @default.
- W2916952641 hasConcept C41008148 @default.
- W2916952641 hasConcept C49937458 @default.
- W2916952641 hasConcept C80444323 @default.
- W2916952641 hasConcept C90805587 @default.
- W2916952641 hasConceptScore W2916952641C112505250 @default.
- W2916952641 hasConceptScore W2916952641C118615104 @default.
- W2916952641 hasConceptScore W2916952641C153269930 @default.
- W2916952641 hasConceptScore W2916952641C154945302 @default.
- W2916952641 hasConceptScore W2916952641C176181172 @default.
- W2916952641 hasConceptScore W2916952641C184337299 @default.
- W2916952641 hasConceptScore W2916952641C199360897 @default.
- W2916952641 hasConceptScore W2916952641C2524010 @default.
- W2916952641 hasConceptScore W2916952641C33923547 @default.
- W2916952641 hasConceptScore W2916952641C41008148 @default.
- W2916952641 hasConceptScore W2916952641C49937458 @default.
- W2916952641 hasConceptScore W2916952641C80444323 @default.
- W2916952641 hasConceptScore W2916952641C90805587 @default.
- W2916952641 hasLocation W29169526411 @default.
- W2916952641 hasOpenAccess W2916952641 @default.
- W2916952641 hasPrimaryLocation W29169526411 @default.
- W2916952641 hasRelatedWork W1494426349 @default.
- W2916952641 hasRelatedWork W1550813795 @default.
- W2916952641 hasRelatedWork W1812897951 @default.
- W2916952641 hasRelatedWork W1897509516 @default.
- W2916952641 hasRelatedWork W1946664948 @default.
- W2916952641 hasRelatedWork W2018144685 @default.
- W2916952641 hasRelatedWork W2083816928 @default.
- W2916952641 hasRelatedWork W2118519493 @default.
- W2916952641 hasRelatedWork W2255359486 @default.
- W2916952641 hasRelatedWork W2399858156 @default.
- W2916952641 hasRelatedWork W2949392059 @default.
- W2916952641 hasRelatedWork W2952917111 @default.
- W2916952641 hasRelatedWork W2999769907 @default.
- W2916952641 hasRelatedWork W3080318913 @default.
- W2916952641 hasRelatedWork W3093747400 @default.
- W2916952641 hasRelatedWork W3193715586 @default.
- W2916952641 hasRelatedWork W3195184706 @default.
- W2916952641 hasRelatedWork W658731987 @default.
- W2916952641 hasRelatedWork W821240578 @default.
- W2916952641 hasRelatedWork W93881721 @default.
- W2916952641 isParatext "false" @default.
- W2916952641 isRetracted "false" @default.
- W2916952641 magId "2916952641" @default.
- W2916952641 workType "article" @default.