Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891954123> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2891954123 abstract "We derive an algorithm to compute satisfiability bounds for arbitrary co-regular properties in an Interval-valued Markov Chain (IMC) interpreted in the adversarial sense. IMCs generalize regular Markov Chains by assigning a range of possible values to the transition probabilities between states. In particular, we expand the automata-based theory of co-regular property verification in Markov Chains to apply it to IMCs. Any co-regular property can be represented by a Deterministic Rabin Automata (DRA) with acceptance conditions expressed by Rabin pairs. Previous works on Markov Chains have shown that computing the probability of satisfying a given co-regular property reduces to a reachability problem in the product between the Markov Chain and the corresponding DRA. We similarly define the notion of a product between an IMC and a DRA. Then, we show that in a product IMC, there exists a particular assignment of the transition values that generates a largest set of non-accepting states. Subsequently, we prove that a lower bound is found by solving a reachability problem in that refined version of the original product IMC. We derive a similar approach for computing a satisfiability upper bound in a product IMC with one Rabin pair. For product IMCs with more than one Rabin pair, we establish that computing a satisfiability upper bound is equivalent to lower-bounding the satisfiability of the complement of the original property. A search algorithm for finding the largest accepting and non-accepting sets of states in a product IMC is proposed. Finally, we demonstrate our findings in a case study." @default.
- W2891954123 created "2018-09-27" @default.
- W2891954123 creator A5010552433 @default.
- W2891954123 creator A5082272271 @default.
- W2891954123 date "2018-12-01" @default.
- W2891954123 modified "2023-09-26" @default.
- W2891954123 title "Satisfiability Bounds for co-regular Properties in Interval-valued Markov Chains" @default.
- W2891954123 cites W125973810 @default.
- W2891954123 cites W141312837 @default.
- W2891954123 cites W1479679270 @default.
- W2891954123 cites W1498432697 @default.
- W2891954123 cites W1792768639 @default.
- W2891954123 cites W1822323017 @default.
- W2891954123 cites W1909185322 @default.
- W2891954123 cites W1975219867 @default.
- W2891954123 cites W2025406549 @default.
- W2891954123 cites W2047671935 @default.
- W2891954123 cites W2059470663 @default.
- W2891954123 cites W2075410688 @default.
- W2891954123 cites W2087107980 @default.
- W2891954123 cites W2103931555 @default.
- W2891954123 cites W2144502731 @default.
- W2891954123 cites W2798862166 @default.
- W2891954123 cites W2913758775 @default.
- W2891954123 doi "https://doi.org/10.1109/cdc.2018.8619756" @default.
- W2891954123 hasPublicationYear "2018" @default.
- W2891954123 type Work @default.
- W2891954123 sameAs 2891954123 @default.
- W2891954123 citedByCount "2" @default.
- W2891954123 countsByYear W28919541232019 @default.
- W2891954123 crossrefType "proceedings-article" @default.
- W2891954123 hasAuthorship W2891954123A5010552433 @default.
- W2891954123 hasAuthorship W2891954123A5082272271 @default.
- W2891954123 hasConcept C105795698 @default.
- W2891954123 hasConcept C114614502 @default.
- W2891954123 hasConcept C118615104 @default.
- W2891954123 hasConcept C134306372 @default.
- W2891954123 hasConcept C136643341 @default.
- W2891954123 hasConcept C168773769 @default.
- W2891954123 hasConcept C2524010 @default.
- W2891954123 hasConcept C2778067643 @default.
- W2891954123 hasConcept C33923547 @default.
- W2891954123 hasConcept C6943359 @default.
- W2891954123 hasConcept C77553402 @default.
- W2891954123 hasConcept C90673727 @default.
- W2891954123 hasConcept C98763669 @default.
- W2891954123 hasConceptScore W2891954123C105795698 @default.
- W2891954123 hasConceptScore W2891954123C114614502 @default.
- W2891954123 hasConceptScore W2891954123C118615104 @default.
- W2891954123 hasConceptScore W2891954123C134306372 @default.
- W2891954123 hasConceptScore W2891954123C136643341 @default.
- W2891954123 hasConceptScore W2891954123C168773769 @default.
- W2891954123 hasConceptScore W2891954123C2524010 @default.
- W2891954123 hasConceptScore W2891954123C2778067643 @default.
- W2891954123 hasConceptScore W2891954123C33923547 @default.
- W2891954123 hasConceptScore W2891954123C6943359 @default.
- W2891954123 hasConceptScore W2891954123C77553402 @default.
- W2891954123 hasConceptScore W2891954123C90673727 @default.
- W2891954123 hasConceptScore W2891954123C98763669 @default.
- W2891954123 hasLocation W28919541231 @default.
- W2891954123 hasOpenAccess W2891954123 @default.
- W2891954123 hasPrimaryLocation W28919541231 @default.
- W2891954123 hasRelatedWork W1971161545 @default.
- W2891954123 hasRelatedWork W2127594621 @default.
- W2891954123 hasRelatedWork W2137608889 @default.
- W2891954123 hasRelatedWork W2349238914 @default.
- W2891954123 hasRelatedWork W2576924292 @default.
- W2891954123 hasRelatedWork W2891954123 @default.
- W2891954123 hasRelatedWork W2952124305 @default.
- W2891954123 hasRelatedWork W2990125731 @default.
- W2891954123 hasRelatedWork W3144220040 @default.
- W2891954123 hasRelatedWork W3165398732 @default.
- W2891954123 isParatext "false" @default.
- W2891954123 isRetracted "false" @default.
- W2891954123 magId "2891954123" @default.
- W2891954123 workType "article" @default.