FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135245897> ?p ?o ?g. }

• W2135245897 abstract "Probabilistic Computation Tree Logic (PCTL) is a well-known modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context of automated model checking. In this paper, we consider PCTL for noncountable-space Markov chains, and we show that there is a substantial affinity between certain of its operators and problems of Dynamic Programming. We prove some basic properties of the solutions to the latter. We also provide two examples and demonstrate how recovery strategies in practical applications, which are naturally stated as reach-avoid problems, can be viewed as particular cases of PCTL formulas." @default.
• W2135245897 created "2016-06-24" @default.
• W2135245897 creator A5007359599 @default.
• W2135245897 creator A5011060717 @default.
• W2135245897 creator A5038655214 @default.
• W2135245897 creator A5039086017 @default.
• W2135245897 date "2010-04-12" @default.
• W2135245897 modified "2023-09-29" @default.
• W2135245897 title "On the connections between PCTL and dynamic programming" @default.
• W2135245897 cites W1575802629 @default.
• W2135245897 cites W1850048324 @default.
• W2135245897 cites W1859458367 @default.
• W2135245897 cites W1882576690 @default.
• W2135245897 cites W1968933618 @default.
• W2135245897 cites W2005998857 @default.
• W2135245897 cites W2012270151 @default.
• W2135245897 cites W2029308352 @default.
• W2135245897 cites W2047343396 @default.
• W2135245897 cites W2056987876 @default.
• W2135245897 cites W2080813827 @default.
• W2135245897 cites W2086005600 @default.
• W2135245897 cites W2090501324 @default.
• W2135245897 cites W2092008396 @default.
• W2135245897 cites W2118039525 @default.
• W2135245897 cites W2122087968 @default.
• W2135245897 cites W2122407545 @default.
• W2135245897 cites W2125845083 @default.
• W2135245897 cites W2135832649 @default.
• W2135245897 cites W2140646474 @default.
• W2135245897 cites W2150882248 @default.
• W2135245897 cites W2159650620 @default.
• W2135245897 cites W2160516500 @default.
• W2135245897 cites W2162861715 @default.
• W2135245897 cites W2164096878 @default.
• W2135245897 cites W2487144912 @default.
• W2135245897 cites W3105022375 @default.
• W2135245897 cites W4238339534 @default.
• W2135245897 cites W4298084067 @default.
• W2135245897 doi "https://doi.org/10.1145/1755952.1755988" @default.
• W2135245897 hasPublicationYear "2010" @default.
• W2135245897 type Work @default.
• W2135245897 sameAs 2135245897 @default.
• W2135245897 citedByCount "11" @default.
• W2135245897 countsByYear W21352458972012 @default.
• W2135245897 countsByYear W21352458972013 @default.
• W2135245897 countsByYear W21352458972014 @default.
• W2135245897 countsByYear W21352458972016 @default.
• W2135245897 countsByYear W21352458972022 @default.
• W2135245897 countsByYear W21352458972023 @default.
• W2135245897 crossrefType "proceedings-article" @default.
• W2135245897 hasAuthorship W2135245897A5007359599 @default.
• W2135245897 hasAuthorship W2135245897A5011060717 @default.
• W2135245897 hasAuthorship W2135245897A5038655214 @default.
• W2135245897 hasAuthorship W2135245897A5039086017 @default.
• W2135245897 hasBestOaLocation W21352458972 @default.
• W2135245897 hasConcept C105795698 @default.
• W2135245897 hasConcept C106189395 @default.
• W2135245897 hasConcept C110251889 @default.
• W2135245897 hasConcept C11413529 @default.
• W2135245897 hasConcept C119857082 @default.
• W2135245897 hasConcept C126255220 @default.
• W2135245897 hasConcept C151730666 @default.
• W2135245897 hasConcept C154945302 @default.
• W2135245897 hasConcept C159886148 @default.
• W2135245897 hasConcept C185592680 @default.
• W2135245897 hasConcept C188027245 @default.
• W2135245897 hasConcept C24404364 @default.
• W2135245897 hasConcept C25016198 @default.
• W2135245897 hasConcept C27508121 @default.
• W2135245897 hasConcept C2779343474 @default.
• W2135245897 hasConcept C33923547 @default.
• W2135245897 hasConcept C41008148 @default.
• W2135245897 hasConcept C4777664 @default.
• W2135245897 hasConcept C49937458 @default.
• W2135245897 hasConcept C52063229 @default.
• W2135245897 hasConcept C71139939 @default.
• W2135245897 hasConcept C72434380 @default.
• W2135245897 hasConcept C80444323 @default.
• W2135245897 hasConcept C86803240 @default.
• W2135245897 hasConcept C98763669 @default.
• W2135245897 hasConceptScore W2135245897C105795698 @default.
• W2135245897 hasConceptScore W2135245897C106189395 @default.
• W2135245897 hasConceptScore W2135245897C110251889 @default.
• W2135245897 hasConceptScore W2135245897C11413529 @default.
• W2135245897 hasConceptScore W2135245897C119857082 @default.
• W2135245897 hasConceptScore W2135245897C126255220 @default.
• W2135245897 hasConceptScore W2135245897C151730666 @default.
• W2135245897 hasConceptScore W2135245897C154945302 @default.
• W2135245897 hasConceptScore W2135245897C159886148 @default.
• W2135245897 hasConceptScore W2135245897C185592680 @default.
• W2135245897 hasConceptScore W2135245897C188027245 @default.
• W2135245897 hasConceptScore W2135245897C24404364 @default.
• W2135245897 hasConceptScore W2135245897C25016198 @default.
• W2135245897 hasConceptScore W2135245897C27508121 @default.
• W2135245897 hasConceptScore W2135245897C2779343474 @default.
• W2135245897 hasConceptScore W2135245897C33923547 @default.
• W2135245897 hasConceptScore W2135245897C41008148 @default.
• W2135245897 hasConceptScore W2135245897C4777664 @default.
• W2135245897 hasConceptScore W2135245897C49937458 @default.
• W2135245897 hasConceptScore W2135245897C52063229 @default.

• next