Matches in SemOpenAlex for { <https://semopenalex.org/work/W2020183404> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2020183404 endingPage "17" @default.
- W2020183404 startingPage "1" @default.
- W2020183404 abstract "When studying probabilistic dynamical systems, temporal logic has typically been used to analyze path properties. Recently, there has been some interest in analyzing the dynamical evolution of state probabilities of these systems. In this article, we show that verifying linear temporal properties concerning the state evolution induced by a Markov chain is equivalent to the decidability of the Skolem problem -- a long-standing open problem in Number Theory. However, from a practical point of view, usually it is enough to check properties up to some acceptable error bound ϵ. We show that an approximate version of the Skolem problem is decidable, and that it can be applied to verify, up to arbitrarily small ϵ, linear temporal properties of the state evolution induced by a Markov chain." @default.
- W2020183404 created "2016-06-24" @default.
- W2020183404 creator A5049655958 @default.
- W2020183404 creator A5051590122 @default.
- W2020183404 creator A5090441907 @default.
- W2020183404 date "2014-12-12" @default.
- W2020183404 modified "2023-09-25" @default.
- W2020183404 title "Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains" @default.
- W2020183404 cites W1797219784 @default.
- W2020183404 cites W1862398452 @default.
- W2020183404 cites W2020997970 @default.
- W2020183404 cites W2035537281 @default.
- W2020183404 cites W2052596766 @default.
- W2020183404 cites W2123576015 @default.
- W2020183404 cites W2123631651 @default.
- W2020183404 cites W2150027928 @default.
- W2020183404 cites W2167857419 @default.
- W2020183404 cites W2238201325 @default.
- W2020183404 cites W2585298200 @default.
- W2020183404 doi "https://doi.org/10.1145/2666772" @default.
- W2020183404 hasPublicationYear "2014" @default.
- W2020183404 type Work @default.
- W2020183404 sameAs 2020183404 @default.
- W2020183404 citedByCount "0" @default.
- W2020183404 crossrefType "journal-article" @default.
- W2020183404 hasAuthorship W2020183404A5049655958 @default.
- W2020183404 hasAuthorship W2020183404A5051590122 @default.
- W2020183404 hasAuthorship W2020183404A5090441907 @default.
- W2020183404 hasBestOaLocation W20201834042 @default.
- W2020183404 hasConcept C105795698 @default.
- W2020183404 hasConcept C11413529 @default.
- W2020183404 hasConcept C118615104 @default.
- W2020183404 hasConcept C121332964 @default.
- W2020183404 hasConcept C1276947 @default.
- W2020183404 hasConcept C153269930 @default.
- W2020183404 hasConcept C199185054 @default.
- W2020183404 hasConcept C199360897 @default.
- W2020183404 hasConcept C25016198 @default.
- W2020183404 hasConcept C2777735758 @default.
- W2020183404 hasConcept C33923547 @default.
- W2020183404 hasConcept C41008148 @default.
- W2020183404 hasConcept C4777664 @default.
- W2020183404 hasConcept C48103436 @default.
- W2020183404 hasConcept C49937458 @default.
- W2020183404 hasConcept C80444323 @default.
- W2020183404 hasConcept C98763669 @default.
- W2020183404 hasConceptScore W2020183404C105795698 @default.
- W2020183404 hasConceptScore W2020183404C11413529 @default.
- W2020183404 hasConceptScore W2020183404C118615104 @default.
- W2020183404 hasConceptScore W2020183404C121332964 @default.
- W2020183404 hasConceptScore W2020183404C1276947 @default.
- W2020183404 hasConceptScore W2020183404C153269930 @default.
- W2020183404 hasConceptScore W2020183404C199185054 @default.
- W2020183404 hasConceptScore W2020183404C199360897 @default.
- W2020183404 hasConceptScore W2020183404C25016198 @default.
- W2020183404 hasConceptScore W2020183404C2777735758 @default.
- W2020183404 hasConceptScore W2020183404C33923547 @default.
- W2020183404 hasConceptScore W2020183404C41008148 @default.
- W2020183404 hasConceptScore W2020183404C4777664 @default.
- W2020183404 hasConceptScore W2020183404C48103436 @default.
- W2020183404 hasConceptScore W2020183404C49937458 @default.
- W2020183404 hasConceptScore W2020183404C80444323 @default.
- W2020183404 hasConceptScore W2020183404C98763669 @default.
- W2020183404 hasFunder F4320334779 @default.
- W2020183404 hasIssue "1" @default.
- W2020183404 hasLocation W20201834041 @default.
- W2020183404 hasLocation W20201834042 @default.
- W2020183404 hasOpenAccess W2020183404 @default.
- W2020183404 hasPrimaryLocation W20201834041 @default.
- W2020183404 hasRelatedWork W1580836938 @default.
- W2020183404 hasRelatedWork W1858642250 @default.
- W2020183404 hasRelatedWork W2011593799 @default.
- W2020183404 hasRelatedWork W2020183404 @default.
- W2020183404 hasRelatedWork W2088800856 @default.
- W2020183404 hasRelatedWork W2097439419 @default.
- W2020183404 hasRelatedWork W2103476891 @default.
- W2020183404 hasRelatedWork W2160029445 @default.
- W2020183404 hasRelatedWork W2397784384 @default.
- W2020183404 hasRelatedWork W2610458644 @default.
- W2020183404 hasVolume "16" @default.
- W2020183404 isParatext "false" @default.
- W2020183404 isRetracted "false" @default.
- W2020183404 magId "2020183404" @default.
- W2020183404 workType "article" @default.