Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299618114> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4299618114 abstract "This paper introduces and investigates decision problems for numberless probabilistic automata, i.e. probabilistic automata where the support of each probabilistic transitions is specified, but the exact values of the probabilities are not. A numberless probabilistic automaton can be instantiated into a probabilistic automaton by specifying the exact values of the non-zero probabilistic transitions. We show that the two following properties of numberless probabilistic automata are recursively inseparable: - all instances of the numberless automaton have value 1, - no instance of the numberless automaton has value 1." @default.
- W4299618114 created "2022-10-02" @default.
- W4299618114 creator A5018227899 @default.
- W4299618114 creator A5020837653 @default.
- W4299618114 creator A5022821778 @default.
- W4299618114 creator A5056775678 @default.
- W4299618114 date "2014-08-25" @default.
- W4299618114 modified "2023-10-15" @default.
- W4299618114 title "Two Recursively Inseparable Problems for Probabilistic Automata" @default.
- W4299618114 hasPublicationYear "2014" @default.
- W4299618114 type Work @default.
- W4299618114 citedByCount "0" @default.
- W4299618114 crossrefType "proceedings-article" @default.
- W4299618114 hasAuthorship W4299618114A5018227899 @default.
- W4299618114 hasAuthorship W4299618114A5020837653 @default.
- W4299618114 hasAuthorship W4299618114A5022821778 @default.
- W4299618114 hasAuthorship W4299618114A5056775678 @default.
- W4299618114 hasBestOaLocation W42996181141 @default.
- W4299618114 hasConcept C112505250 @default.
- W4299618114 hasConcept C116248031 @default.
- W4299618114 hasConcept C154945302 @default.
- W4299618114 hasConcept C174327141 @default.
- W4299618114 hasConcept C174784677 @default.
- W4299618114 hasConcept C24404364 @default.
- W4299618114 hasConcept C41008148 @default.
- W4299618114 hasConcept C49937458 @default.
- W4299618114 hasConcept C52063229 @default.
- W4299618114 hasConcept C80444323 @default.
- W4299618114 hasConceptScore W4299618114C112505250 @default.
- W4299618114 hasConceptScore W4299618114C116248031 @default.
- W4299618114 hasConceptScore W4299618114C154945302 @default.
- W4299618114 hasConceptScore W4299618114C174327141 @default.
- W4299618114 hasConceptScore W4299618114C174784677 @default.
- W4299618114 hasConceptScore W4299618114C24404364 @default.
- W4299618114 hasConceptScore W4299618114C41008148 @default.
- W4299618114 hasConceptScore W4299618114C49937458 @default.
- W4299618114 hasConceptScore W4299618114C52063229 @default.
- W4299618114 hasConceptScore W4299618114C80444323 @default.
- W4299618114 hasLocation W42996181141 @default.
- W4299618114 hasLocation W42996181142 @default.
- W4299618114 hasLocation W42996181143 @default.
- W4299618114 hasOpenAccess W4299618114 @default.
- W4299618114 hasPrimaryLocation W42996181141 @default.
- W4299618114 hasRelatedWork W1780789845 @default.
- W4299618114 hasRelatedWork W1979390054 @default.
- W4299618114 hasRelatedWork W2035364689 @default.
- W4299618114 hasRelatedWork W2044753318 @default.
- W4299618114 hasRelatedWork W2065292090 @default.
- W4299618114 hasRelatedWork W2100326215 @default.
- W4299618114 hasRelatedWork W249340682 @default.
- W4299618114 hasRelatedWork W2514822958 @default.
- W4299618114 hasRelatedWork W4244879671 @default.
- W4299618114 hasRelatedWork W4313207396 @default.
- W4299618114 isParatext "false" @default.
- W4299618114 isRetracted "false" @default.
- W4299618114 workType "article" @default.