Matches in SemOpenAlex for { <https://semopenalex.org/work/W50630662> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W50630662 abstract "A Probabilistic I/O Automaton (PIOA) is a countable-state automaton model that allows nondeterministic and probabilistic choices in state transitions. A task-PIOA adds a task structure on the locally controlled actions of a PIOA as a means for restricting the nondeterminism in the model. The task-PIOA framework defines exact implementation relations based on inclusion of sets of trace distributions. In this paper we develop the theory of approximate implementations and equivalences for task-PIOAs. We propose a new kind of approximate simulation between task-PIOAs and prove that it is sound with respect to approximate implementations. Our notion of similarity of traces is based on a metric on trace distributions and therefore, we do not require the state spaces nor the space of external actions (output alphabet) of the underlying automata to be metric spaces. We discuss applications of approximate implementations to probabilistic safety verification." @default.
- W50630662 created "2016-06-24" @default.
- W50630662 creator A5071944803 @default.
- W50630662 creator A5085795401 @default.
- W50630662 date "2006-01-01" @default.
- W50630662 modified "2023-09-26" @default.
- W50630662 title "Approximate Simulations for Task-Structured Probabilistic I/O Automata" @default.
- W50630662 cites W1273698957 @default.
- W50630662 cites W1482332845 @default.
- W50630662 cites W1534052968 @default.
- W50630662 cites W1545300203 @default.
- W50630662 cites W1585089195 @default.
- W50630662 cites W1586460111 @default.
- W50630662 cites W1850900101 @default.
- W50630662 cites W1865218796 @default.
- W50630662 cites W1966212263 @default.
- W50630662 cites W1976268573 @default.
- W50630662 cites W1976806460 @default.
- W50630662 cites W2011979623 @default.
- W50630662 cites W2015172530 @default.
- W50630662 cites W2101508170 @default.
- W50630662 cites W2107471150 @default.
- W50630662 cites W2108670836 @default.
- W50630662 cites W2121902202 @default.
- W50630662 cites W2153452731 @default.
- W50630662 cites W2158974070 @default.
- W50630662 cites W2169630160 @default.
- W50630662 cites W2170634995 @default.
- W50630662 cites W2254463431 @default.
- W50630662 cites W572714363 @default.
- W50630662 hasPublicationYear "2006" @default.
- W50630662 type Work @default.
- W50630662 sameAs 50630662 @default.
- W50630662 citedByCount "4" @default.
- W50630662 crossrefType "journal-article" @default.
- W50630662 hasAuthorship W50630662A5071944803 @default.
- W50630662 hasAuthorship W50630662A5085795401 @default.
- W50630662 hasConcept C112505250 @default.
- W50630662 hasConcept C138885662 @default.
- W50630662 hasConcept C154945302 @default.
- W50630662 hasConcept C162324750 @default.
- W50630662 hasConcept C174784677 @default.
- W50630662 hasConcept C176181172 @default.
- W50630662 hasConcept C176217482 @default.
- W50630662 hasConcept C187736073 @default.
- W50630662 hasConcept C199360897 @default.
- W50630662 hasConcept C21547014 @default.
- W50630662 hasConcept C26713055 @default.
- W50630662 hasConcept C2780451532 @default.
- W50630662 hasConcept C33923547 @default.
- W50630662 hasConcept C41008148 @default.
- W50630662 hasConcept C41895202 @default.
- W50630662 hasConcept C49937458 @default.
- W50630662 hasConcept C75291252 @default.
- W50630662 hasConcept C80444323 @default.
- W50630662 hasConceptScore W50630662C112505250 @default.
- W50630662 hasConceptScore W50630662C138885662 @default.
- W50630662 hasConceptScore W50630662C154945302 @default.
- W50630662 hasConceptScore W50630662C162324750 @default.
- W50630662 hasConceptScore W50630662C174784677 @default.
- W50630662 hasConceptScore W50630662C176181172 @default.
- W50630662 hasConceptScore W50630662C176217482 @default.
- W50630662 hasConceptScore W50630662C187736073 @default.
- W50630662 hasConceptScore W50630662C199360897 @default.
- W50630662 hasConceptScore W50630662C21547014 @default.
- W50630662 hasConceptScore W50630662C26713055 @default.
- W50630662 hasConceptScore W50630662C2780451532 @default.
- W50630662 hasConceptScore W50630662C33923547 @default.
- W50630662 hasConceptScore W50630662C41008148 @default.
- W50630662 hasConceptScore W50630662C41895202 @default.
- W50630662 hasConceptScore W50630662C49937458 @default.
- W50630662 hasConceptScore W50630662C75291252 @default.
- W50630662 hasConceptScore W50630662C80444323 @default.
- W50630662 hasLocation W506306621 @default.
- W50630662 hasOpenAccess W50630662 @default.
- W50630662 hasPrimaryLocation W506306621 @default.
- W50630662 hasRelatedWork W1515866581 @default.
- W50630662 hasRelatedWork W1545040203 @default.
- W50630662 hasRelatedWork W1587826772 @default.
- W50630662 hasRelatedWork W1626880919 @default.
- W50630662 hasRelatedWork W1664904644 @default.
- W50630662 hasRelatedWork W1767123124 @default.
- W50630662 hasRelatedWork W1850900101 @default.
- W50630662 hasRelatedWork W2067398978 @default.
- W50630662 hasRelatedWork W2119416645 @default.
- W50630662 hasRelatedWork W2136298992 @default.
- W50630662 hasRelatedWork W2294329580 @default.
- W50630662 hasRelatedWork W2375483124 @default.
- W50630662 hasRelatedWork W2570696309 @default.
- W50630662 hasRelatedWork W2584111265 @default.
- W50630662 hasRelatedWork W2605631145 @default.
- W50630662 hasRelatedWork W2735687576 @default.
- W50630662 hasRelatedWork W2951499473 @default.
- W50630662 hasRelatedWork W2953367752 @default.
- W50630662 hasRelatedWork W3011232735 @default.
- W50630662 hasRelatedWork W2963081994 @default.
- W50630662 isParatext "false" @default.
- W50630662 isRetracted "false" @default.
- W50630662 magId "50630662" @default.
- W50630662 workType "article" @default.