FRINK Linked Data Fragments server

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

• W2883004055 endingPage "334" @default.
• W2883004055 startingPage "317" @default.
• W2883004055 abstract "We provide a framework for speeding up algorithms for time-bounded reachability analysis of continuous-time Markov decision processes. The principle is to find a small, but almost equivalent subsystem of the original system and only analyse the subsystem. Candidates for the subsystem are identified through simulations and iteratively enlarged until runs are represented in the subsystem with high enough probability. The framework is thus dual to that of abstraction refinement. We instantiate the framework in several ways with several traditional algorithms and experimentally confirm orders-of-magnitude speed ups in many cases." @default.
• W2883004055 created "2018-08-03" @default.
• W2883004055 creator A5005462869 @default.
• W2883004055 creator A5028747794 @default.
• W2883004055 creator A5069594696 @default.
• W2883004055 creator A5074485601 @default.
• W2883004055 date "2018-01-01" @default.
• W2883004055 modified "2023-10-17" @default.
• W2883004055 title "Continuous-Time Markov Decisions Based on Partial Exploration" @default.
• W2883004055 cites W1498125516 @default.
• W2883004055 cites W1504080271 @default.
• W2883004055 cites W1507843766 @default.
• W2883004055 cites W1520708882 @default.
• W2883004055 cites W1556387789 @default.
• W2883004055 cites W1623473440 @default.
• W2883004055 cites W1862398452 @default.
• W2883004055 cites W2075222142 @default.
• W2883004055 cites W2085298577 @default.
• W2883004055 cites W2088823298 @default.
• W2883004055 cites W2111987809 @default.
• W2883004055 cites W2116708838 @default.
• W2883004055 cites W2124102642 @default.
• W2883004055 cites W2148167082 @default.
• W2883004055 cites W2149336039 @default.
• W2883004055 cites W2157155770 @default.
• W2883004055 cites W2162378322 @default.
• W2883004055 cites W2262106677 @default.
• W2883004055 cites W2612788245 @default.
• W2883004055 cites W2750693409 @default.
• W2883004055 cites W3131027453 @default.
• W2883004055 cites W4239670432 @default.
• W2883004055 cites W4246351152 @default.
• W2883004055 cites W78405526 @default.
• W2883004055 doi "https://doi.org/10.1007/978-3-030-01090-4_19" @default.
• W2883004055 hasPublicationYear "2018" @default.
• W2883004055 type Work @default.
• W2883004055 sameAs 2883004055 @default.
• W2883004055 citedByCount "12" @default.
• W2883004055 countsByYear W28830040552019 @default.
• W2883004055 countsByYear W28830040552020 @default.
• W2883004055 countsByYear W28830040552021 @default.
• W2883004055 countsByYear W28830040552022 @default.
• W2883004055 crossrefType "book-chapter" @default.
• W2883004055 hasAuthorship W2883004055A5005462869 @default.
• W2883004055 hasAuthorship W2883004055A5028747794 @default.
• W2883004055 hasAuthorship W2883004055A5069594696 @default.
• W2883004055 hasAuthorship W2883004055A5074485601 @default.
• W2883004055 hasBestOaLocation W28830040552 @default.
• W2883004055 hasConcept C105795698 @default.
• W2883004055 hasConcept C106189395 @default.
• W2883004055 hasConcept C111472728 @default.
• W2883004055 hasConcept C11413529 @default.
• W2883004055 hasConcept C119857082 @default.
• W2883004055 hasConcept C124304363 @default.
• W2883004055 hasConcept C124952713 @default.
• W2883004055 hasConcept C126255220 @default.
• W2883004055 hasConcept C134306372 @default.
• W2883004055 hasConcept C136643341 @default.
• W2883004055 hasConcept C138885662 @default.
• W2883004055 hasConcept C142362112 @default.
• W2883004055 hasConcept C159886148 @default.
• W2883004055 hasConcept C2780980858 @default.
• W2883004055 hasConcept C33923547 @default.
• W2883004055 hasConcept C34388435 @default.
• W2883004055 hasConcept C41008148 @default.
• W2883004055 hasConcept C80444323 @default.
• W2883004055 hasConcept C98763669 @default.
• W2883004055 hasConceptScore W2883004055C105795698 @default.
• W2883004055 hasConceptScore W2883004055C106189395 @default.
• W2883004055 hasConceptScore W2883004055C111472728 @default.
• W2883004055 hasConceptScore W2883004055C11413529 @default.
• W2883004055 hasConceptScore W2883004055C119857082 @default.
• W2883004055 hasConceptScore W2883004055C124304363 @default.
• W2883004055 hasConceptScore W2883004055C124952713 @default.
• W2883004055 hasConceptScore W2883004055C126255220 @default.
• W2883004055 hasConceptScore W2883004055C134306372 @default.
• W2883004055 hasConceptScore W2883004055C136643341 @default.
• W2883004055 hasConceptScore W2883004055C138885662 @default.
• W2883004055 hasConceptScore W2883004055C142362112 @default.
• W2883004055 hasConceptScore W2883004055C159886148 @default.
• W2883004055 hasConceptScore W2883004055C2780980858 @default.
• W2883004055 hasConceptScore W2883004055C33923547 @default.
• W2883004055 hasConceptScore W2883004055C34388435 @default.
• W2883004055 hasConceptScore W2883004055C41008148 @default.
• W2883004055 hasConceptScore W2883004055C80444323 @default.
• W2883004055 hasConceptScore W2883004055C98763669 @default.
• W2883004055 hasLocation W28830040551 @default.
• W2883004055 hasLocation W28830040552 @default.
• W2883004055 hasOpenAccess W2883004055 @default.
• W2883004055 hasPrimaryLocation W28830040551 @default.
• W2883004055 hasRelatedWork W1541249122 @default.
• W2883004055 hasRelatedWork W2067910792 @default.
• W2883004055 hasRelatedWork W2113019827 @default.
• W2883004055 hasRelatedWork W2136512912 @default.
• W2883004055 hasRelatedWork W2156446763 @default.
• W2883004055 hasRelatedWork W2162286586 @default.
• W2883004055 hasRelatedWork W2367222340 @default.
• W2883004055 hasRelatedWork W2379651310 @default.

• next