FRINK Linked Data Fragments server

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

• W3038647018 abstract "The verification problem in MDPs asks whether, for any policy resolving the nondeterminism, the probability that something bad happens is bounded by some given threshold. This verification problem is often overly pessimistic, as the policies it considers may depend on the complete system state. This paper considers the verification problem for partially observable MDPs, in which the policies make their decisions based on (the history of) the observations emitted by the system. We present an abstraction-refinement framework extending previous instantiations of the Lovejoy-approach. Our experiments show that this framework significantly improves the scalability of the approach." @default.
• W3038647018 created "2020-07-10" @default.
• W3038647018 creator A5013247085 @default.
• W3038647018 creator A5018941708 @default.
• W3038647018 creator A5078343101 @default.
• W3038647018 creator A5090819329 @default.
• W3038647018 date "2020-06-30" @default.
• W3038647018 modified "2023-09-27" @default.
• W3038647018 title "Verification of indefinite-horizon POMDPs" @default.
• W3038647018 cites W1482467703 @default.
• W3038647018 cites W1494689917 @default.
• W3038647018 cites W1498432697 @default.
• W3038647018 cites W1532688806 @default.
• W3038647018 cites W1556387789 @default.
• W3038647018 cites W1701684472 @default.
• W3038647018 cites W183139520 @default.
• W3038647018 cites W1839854015 @default.
• W3038647018 cites W1862398452 @default.
• W3038647018 cites W1977070092 @default.
• W3038647018 cites W2055921164 @default.
• W3038647018 cites W2087992130 @default.
• W3038647018 cites W2097439419 @default.
• W3038647018 cites W2099430963 @default.
• W3038647018 cites W2122410182 @default.
• W3038647018 cites W2149476049 @default.
• W3038647018 cites W2158082107 @default.
• W3038647018 cites W2168359464 @default.
• W3038647018 cites W2325955172 @default.
• W3038647018 cites W2336416123 @default.
• W3038647018 cites W2395880299 @default.
• W3038647018 cites W2594789366 @default.
• W3038647018 cites W2620928019 @default.
• W3038647018 cites W2749365756 @default.
• W3038647018 cites W275084143 @default.
• W3038647018 cites W2808100232 @default.
• W3038647018 cites W2809011908 @default.
• W3038647018 cites W2883004055 @default.
• W3038647018 cites W2960141888 @default.
• W3038647018 cites W2997350486 @default.
• W3038647018 cites W3006328090 @default.
• W3038647018 cites W3046677588 @default.
• W3038647018 cites W3148740559 @default.
• W3038647018 hasPublicationYear "2020" @default.
• W3038647018 type Work @default.
• W3038647018 sameAs 3038647018 @default.
• W3038647018 citedByCount "0" @default.
• W3038647018 crossrefType "posted-content" @default.
• W3038647018 hasAuthorship W3038647018A5013247085 @default.
• W3038647018 hasAuthorship W3038647018A5018941708 @default.
• W3038647018 hasAuthorship W3038647018A5078343101 @default.
• W3038647018 hasAuthorship W3038647018A5090819329 @default.
• W3038647018 hasConcept C110251889 @default.
• W3038647018 hasConcept C111472728 @default.
• W3038647018 hasConcept C11413529 @default.
• W3038647018 hasConcept C121332964 @default.
• W3038647018 hasConcept C124304363 @default.
• W3038647018 hasConcept C126255220 @default.
• W3038647018 hasConcept C134306372 @default.
• W3038647018 hasConcept C138885662 @default.
• W3038647018 hasConcept C144237770 @default.
• W3038647018 hasConcept C162324750 @default.
• W3038647018 hasConcept C32848918 @default.
• W3038647018 hasConcept C33923547 @default.
• W3038647018 hasConcept C34388435 @default.
• W3038647018 hasConcept C41008148 @default.
• W3038647018 hasConcept C48044578 @default.
• W3038647018 hasConcept C48103436 @default.
• W3038647018 hasConcept C62520636 @default.
• W3038647018 hasConcept C77088390 @default.
• W3038647018 hasConcept C80444323 @default.
• W3038647018 hasConcept C9992130 @default.
• W3038647018 hasConceptScore W3038647018C110251889 @default.
• W3038647018 hasConceptScore W3038647018C111472728 @default.
• W3038647018 hasConceptScore W3038647018C11413529 @default.
• W3038647018 hasConceptScore W3038647018C121332964 @default.
• W3038647018 hasConceptScore W3038647018C124304363 @default.
• W3038647018 hasConceptScore W3038647018C126255220 @default.
• W3038647018 hasConceptScore W3038647018C134306372 @default.
• W3038647018 hasConceptScore W3038647018C138885662 @default.
• W3038647018 hasConceptScore W3038647018C144237770 @default.
• W3038647018 hasConceptScore W3038647018C162324750 @default.
• W3038647018 hasConceptScore W3038647018C32848918 @default.
• W3038647018 hasConceptScore W3038647018C33923547 @default.
• W3038647018 hasConceptScore W3038647018C34388435 @default.
• W3038647018 hasConceptScore W3038647018C41008148 @default.
• W3038647018 hasConceptScore W3038647018C48044578 @default.
• W3038647018 hasConceptScore W3038647018C48103436 @default.
• W3038647018 hasConceptScore W3038647018C62520636 @default.
• W3038647018 hasConceptScore W3038647018C77088390 @default.
• W3038647018 hasConceptScore W3038647018C80444323 @default.
• W3038647018 hasConceptScore W3038647018C9992130 @default.
• W3038647018 hasLocation W30386470181 @default.
• W3038647018 hasOpenAccess W3038647018 @default.
• W3038647018 hasPrimaryLocation W30386470181 @default.
• W3038647018 hasRelatedWork W1518360381 @default.
• W3038647018 hasRelatedWork W1575633987 @default.
• W3038647018 hasRelatedWork W1861732905 @default.
• W3038647018 hasRelatedWork W1883892861 @default.
• W3038647018 hasRelatedWork W1979231530 @default.
• W3038647018 hasRelatedWork W2109053844 @default.

• next